多米尼克·施赖伯；彼得·桑德斯 云中可扩展的SAT解决方案。 （英语） Zbl 07495595号 Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 518-534 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Schreiber}和\textit{P.Sanders}，莱克特。注释计算。科学。12831118-534（2021年；兹bl 07495595） 全文： 内政部 链接
文森特·瓦拉德；卢多维奇·勒弗里克斯；苏海卜·巴里尔；朱利安·索佩纳；维杰·加内什；Fabrice Kordon公司 用于并行SAT求解的基于社区和LBD的子句共享策略。 （英语） Zbl 07331009号 Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12178, 11-27 (2020).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Vallade}等人，Lect。注释计算。科学。12178，11-27（2020；Zbl 07331009） 全文： 内政部
李楚敏；肖，范；罗，毛；很多，费利普；吕志鹏；李、余 CDCL SAT解算器中通过单位传播实现子句生动化。 （英语） Zbl 1478.68325号 Artif公司。智力。 279，文章ID 103197，23 p.（2020）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}等人，Artif。智力。279，文章ID 103197，第23页（2020；Zbl 1478.68325） 全文： 内政部 arXiv公司
汤米·琼蒂拉；马蒂·卡帕；佩特里·卡斯基；朱卡·科亨 一种用于对称性减少的自适应前缀分配技术。 （英语） Zbl 1444.68129号 J.塞姆。计算。 99, 21-49 (2020).MSC公司：68兰特 68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Junttila}等人，J.Symb。计算。99、21-49（2020年；Zbl 1444.68129） 全文： 内政部
Beleĭ，Evgeniya Gennad’evna；Aleksandr Anatol'evich，塞姆诺夫 关于有限集合中对象可区分性的命题编码技术。 （俄语。英文摘要） Zbl 1425.94047号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 28, 3-20 (2019).MSC公司：94A60型 94立方厘米10 05B15号 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Beleĭ}和\textit{A.A.Semönov}，Izv。伊尔库茨克。戈斯。州立大学。材料28，3-20（2019；兹比尔1425.94047） 全文： 内政部 链接
艾娜·尼梅茨；马蒂亚斯·普雷纳；阿明·比尔 基于传播的比特精确推理局部搜索。 （英语） Zbl 1377.68134号 形式方法系统。设计。 51，第3号，608-636（2017）.MSC公司：60年第68季度 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人，《形式方法系统》。设计。51，第3号，608--636（2017；Zbl 1377.68134） 全文： 内政部