安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 SMT求解器中有限模型查找的约束求解。 （英语） Zbl 1379.68286号 理论与实践。日志。程序。 17，第4期，516-558（2017）.理学硕士：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，《理论与实践》。日志。程序。17，No.4，516--558（2017；Zbl 1379.68286） 全文： 内政部 arXiv公司
安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁恩斯;塞萨尔·蒂内利 SMT中递归函数的模型查找。 （英语） Zbl 1475.68448号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 133-151 (2016).理学硕士：68伏15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。9706133--151（2016；Zbl 1475.68448） 全文： 内政部 哈尔
彼得·鲍姆加特纳;比约恩·佩尔泽;塞萨尔·蒂内利 平等模式演变——修订并实施。 （英语） Zbl 1258.03020号 J.塞姆。计算。 47，第9期，1011-1045（2012）. 审核人：奈尔·扎莫夫（喀山） 理学硕士：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人，J.Symb。计算。47，第9号，1011--1045（2012；Zbl 1258.03020） 全文： 内政部
彼得·鲍姆加特纳;富克斯，亚历山大;汉斯·德·尼维尔;塞萨尔·蒂内利 通过简化为无函数子句逻辑计算有限模型。 （英语） Zbl 1171.68040号 J.应用。日志。 7，第1期，58-74（2009）.理学硕士：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人，J.Appl。日志。7，第1号，58--74（2009；Zbl 1171.68040） 全文： 内政部
彼得·鲍姆加特纳;塞萨尔·蒂内利 模型演化演算作为一阶DPLL方法。 （英语） 兹比尔1182.03034 Artif公司。智力。 172，编号4-5，591-632（2008）.理学硕士：03B35型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Baumgartner｝和\textit｛C.Tinelli｝，人工制品。智力。172，编号4--5，591--632（2008；Zbl 1182.03034） 全文： 内政部
彼得·鲍姆加特纳;富克斯，亚历山大;塞萨尔·蒂内利 模型演化演算中的引理学习。 （英语） Zbl 1165.03308号 Hermann，Miki（编辑）等人，《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48281-9/pbk）。计算机科学课堂讲稿4246。人工智能课堂讲稿，572-586（2006）。理学硕士：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人，Lect。注释计算。科学。4246572--586（2006年；Zbl 1165.03308） 全文： 内政部