吉列尔莫德伊塔·卢纳;马西亚尔·罗梅罗，J.雷蒙多;何塞·埃尔南德斯。 两合取范式的增量可满足性问题。 （英文） Zbl 1401.68119号 Arrazola-Ramírez，JoséRamón（编辑）等人，第十届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集，墨西哥普埃布拉，2016年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》328，31-45（2016）。MSC公司：65年第68季度 03英镑05 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.De Ita Luna}等人，《电子》。注释Theor。计算。科学。328、31-45（2016；Zbl 1401.68119） 全文： 内政部
弗兰克·哈特;徐，林;霍尔格·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公司
Pipatsrisawat，结;阿德南·达尔维切 关于子句学习SAT解析器作为解析引擎的威力。 （英文） Zbl 1216.68235号 Artif公司。智力。 175，第2期，512-525（2011）.MSC公司：68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Pipatsrisawat}和\textit{A.Darwiche}，Artif。智力。175，No.2，512--525（2011；Zbl 1216.68235） 全文： 内政部
拉尔斯·施韦 曲面的不可实现最小顶点三角剖分：使用定向拟阵和可满足性求解器显示不可实现性。 （英文） Zbl 1187.52023号 离散计算。地理。 43，第2期，289-302（2010）. 审核人：Simona Settepanella（比萨） MSC公司：52立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Schewe}，离散计算。地理。43，第2号，289--302（2010；Zbl 1187.52023） 全文： 内政部 arXiv公司
Samuel R.巴斯。;简·霍夫曼;詹·约翰森 带引理的解析树：通过子句学习对DLL算法进行解析优化。 （英文） Zbl 1159.03009号 日志。方法计算。科学。 4，第4期，论文13，28页（2008年）.MSC公司：03B35型 20层03 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛S.R.Buss｝等人，日志。方法计算。科学。4，第4号，论文13，28页（2008；Zbl 1159.03009） 全文： 内政部