@收款{zbMATH07495566，作者={Cai，Shaowei and Zhang，Xindi}，标题={{CDCL}的深度合作和{SAT}的本地搜索，BookTitle={可满足性测试的理论与应用--SAT 2021。第24届国际会议，西班牙巴塞罗那，2021年7月5-9日。诉讼}，国际标准图书编号={978-3-030-80222-6；978-3-0.30-80223-3}，页码={64--81}，年份={2021}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-80223-3_6}，关键词={68Q25,68R07,68T20}，zbMATH={7495566}}