马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 使用Paracooba进行分布式立方体和征服。 （英语） Zbl 07331016号 Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12178, 114-122 (2020).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.海辛格}等人，莱克特。注释计算。科学。12178114-122（2020年；兹bl 07331016） 全文： 内政部
简·霍拉克；马丁·克鲁泽 关于从CNF到ANF的转换。 （英语） Zbl 1432.68600号 J.塞姆。计算。 100, 164-186 (2020).MSC公司：68瓦30 06E30年 13页第10页 68兰特 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Horáckek}和\textit{M.Kreuzer}，J.Symb。计算。100164--186（2020年；Zbl 1432.68600） 全文： 内政部
李楚敏；肖，范；罗，毛；很多，费利普；吕志鹏；李、余 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 1483.68242号 约束条件 24，第2期，162-182（2019）.MSC公司：68兰特 68T20型 68瓦20 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{D.Achlioptas}和\textit{P.Theodoropoulos}，约束24，No.2，162--182（2019；Zbl 1483.68242） 全文： 内政部
科迪什，迈克尔；爱丽丝·米勒；帕特里克·普洛瑟；彼得·斯图基（Peter J.Stuckey）。 图形表示中对称破缺的约束。 （英语） Zbl 1425.05099号 约束条件 24，第1号，1-24（2019）.MSC公司：05C62号 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人，《限制条件24》，第1号，1-24（2019年；Zbl 1425.05099） 全文： 内政部 链接
弗兰克·哈特；马吕斯·林道尔；阿德里安·巴林特；萨姆·贝利斯；霍尔格·胡斯；凯文·莱顿·布朗 可配置SAT求解器挑战（CSSC）。 （英语） 兹比尔1402.68161 Artif公司。智力。 243, 1-25 (2017).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hutter}等人，Artif。智力。243，1--25（2017；Zbl 1402.68161） 全文： 内政部 arXiv公司
弗兰克·哈特；徐，林；霍尔格·H·胡斯。；凯文·莱顿·布朗 算法运行时预测：方法与评估。 （英语） Zbl 1334.68185号 Artif公司。智力。 206, 79-111 (2014).MSC公司：68T05型 65年第68季度 90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hutter}等人，Artif。智力。206、79-111（2014年；Zbl 1334.68185） 全文： 内政部 arXiv公司
鲁本·马丁斯；Vasco Manquinho公司；林奇，因斯 并行SAT求解概述。 （英语） Zbl 1309.90057号 约束条件 17，第3号，304-347（2012）.MSC公司：90C09型 PDF格式BibTeX公司 XML格式引用 \textit{R.Martins}等人，《约束17》，第3期，304--347（2012；Zbl 1309.90057） 全文： 内政部