罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 求解SAT和SAT模理论,从抽象的Davis-Putnam-Logemann-Loveland过程到(operatorname{DPLL}(T))。 (英文) Zbl 1326.68164号 美国临床医学杂志 53,第6期,937-977(2006).MSC公司:65年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}等人,J.ACM 53,No.6,937--977(2006;Zbl 1326.68164) 全文: 内政部
克拉克·巴雷特;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 SAT模理论中的按需分裂。 (英文) 兹比尔1165.68480 Hermann,Miki(编辑)等人,《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48281-9/pbk)。计算机科学课堂讲稿4246。人工智能课堂讲稿,512-526(2006)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,Lect。注释计算。科学。42461512-526(2006年;兹比尔1165.68480) 全文: 内政部
罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 抽象DPLL和抽象DPLL模理论。 (英文) Zbl 1109.68097号 Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,36-50(2005)。MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}等人,Lect。注释计算。科学。3452,36--50(2005;Zbl 1109.68097) 全文: 内政部
哈拉尔德·甘辛格;乔治·黑根;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 DPLL(\(T\)):快速决策程序。 (英文) Zbl 1103.68616号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,175-188(2004)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ganzinger}等人,Lect。注释计算。科学。3114、175--188(2004年;Zbl 1103.68616) 全文: 内政部