玛丽亚·保拉(Maria Paola Bonacina);克里斯托弗·林奇(Christopher A.Lynch)。;莱昂纳多·德·莫拉 关于用具有推测推理的定理证明来判定可满足性。 (英语) Zbl 1243.68265号 J.汽车。推理 47,第2期,161-189(2011).MSC公司:第68页第15页 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人,J.Autom。推理47,No.2,161--189(2011;Zbl 1243.68265) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第一届可满足性模理论竞赛(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,第4期,373--390(2005年;Zbl 1104.68719) 全文: 内政部