安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 SMT求解器中有限模型查找的约束求解。 (英语) Zbl 1379.68286号 理论与实践。日志。程序。 17,第4期,516-558(2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《理论与实践》。日志。程序。17,No.4,516--558(2017;Zbl 1379.68286) 全文: DOI程序 arXiv公司
彼得·鲍姆加特纳;比约恩·佩尔泽;塞萨尔·蒂内利 平等模式演变——修订并实施。 (英语) Zbl 1258.03020号 J.塞姆。计算。 47,第9期,1011-1045(2012). 审核人:奈尔·扎莫夫(喀山) MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,J.Symb。计算。47,第9号,1011--1045(2012;Zbl 1258.03020) 全文: DOI程序
彼得·鲍姆加特纳;富克斯,亚历山大;汉斯·德·尼维尔;塞萨尔·蒂内利 通过简化为无函数子句逻辑计算有限模型。 (英语) Zbl 1171.68040号 J.应用。日志。 7,第1期,58-74(2009).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,J.Appl。日志。7,第1号,58--74(2009;Zbl 1171.68040) 全文: DOI程序
彼得·鲍姆加特纳;塞萨尔·蒂内利 模型演化演算作为一阶DPLL方法。 (英语) Zbl 1182.03034号 Artif公司。智力。 172,编号4-5,591-632(2008).MSC公司:03B35型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{C.Tinelli},Artif。智力。172,编号4--5,591--632(2008;Zbl 1182.03034) 全文: DOI程序