Achá,Roberto Asín;罗伯特·尼乌文豪斯 SAT和MaxSAT基于课程的课程时间表。 (英语) Zbl 1301.90023号 安·Oper。物件。 218, 71-91 (2014).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Achá}和\textit{R.Nieuwenhuis},Ann.Oper。第218号决议、第71-91号决议(2014年;Zbl 1301.90023) 全文: 内政部
罗伯托·阿斯因;罗伯特·尼乌文豪斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 在SAT中高效生成不可满足性证明和核心。 (英语) Zbl 1182.68215号 Cervesato,Iliano(编辑)等人,《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89438-4/pbk)。计算机科学课堂讲稿5330。《人工智能讲义》,16-30(2008)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Asín}等人,Lect。注释计算。科学。5330,16-30(2008;Zbl 1182.68215) 全文: 内政部
罗伯特·尼乌文豪斯;阿尔伯特·奥利弗拉斯 快速同余闭包和扩展。 (英语) Zbl 1112.68116号 Inf.计算。 205,第4期,557-580(2007).MSC公司:68吨15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}和\textit{A.Oliveras},信息计算。205,第4号,557--580(2007;Zbl 1112.68116) 全文: 内政部
罗伯特·尼乌文豪斯;阿尔伯特·奥利弗拉斯 关于SAT模理论和优化问题。 (英语) Zbl 1187.68558号 Biere,Armin(编辑)等人,《满意度测试的理论和应用——SAT 2006》。第九届国际会议,2006年8月12-15日,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37206-7/pbk)。计算机科学课堂讲稿412156-169(2006)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}和\textit{A.Oliveras},莱克特。注释计算。科学。412156-169(2006年;Zbl 1187.68558) 全文: 内政部
罗伯特·尼乌文豪斯;阿尔伯特·奥利弗拉斯 SAT、SAT模理论及其他的决策程序。BarcelogicTools。 (英语) Zbl 1143.68579号 Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿383523-46(2005)。MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}和\textit{A.Oliveras},莱克特。注释计算。科学。3835、23-46(2005年;Zbl 1143.68579) 全文: 内政部
罗伯特·尼乌文豪斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 抽象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格式引用 \文本{R.Nieuwenhuis}等人,Lect。注释计算。科学。3452,36--50(2005;Zbl 1109.68097) 全文: 内政部