奥尔加·特维雷蒂纳;威格·威瑟林克 EufDPLL–检查等式逻辑公式可满足性的工具。 （英语） Zbl 1336.68167号 Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，405-420（2009）。MSC公司：60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Tveretina}和\textit{W.Wesselink}，电子。注释Theor。计算。科学。225、405--420（2008年；Zbl 1336.68167） 全文： 内政部
约夫·罗德;斯特里赫曼（Ofer Strichman） 构建小型等式图，以确定具有未解释函数的等式逻辑。 （英语） Zbl 1093.03013号 Inf.计算。 204，第1期，26-59（2006）.MSC公司：03B70号 03B25号 12升05 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Rodeh}和\textit{O.Strichman}，Inf.Comput。204，第1号，26-59（2006；Zbl 1093.03013） 全文： 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第一届可满足性模理论竞赛（SMT-COMP 2005）的设计和结果。 （英语） Zbl 1104.68719号 J.汽车。推理 35，第4期，373-390（2005）.MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人，J.Autom。推理35，No.4，373--390（2005；Zbl 1104.68719） 全文： 内政部