哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 一个用于认证布尔分支和边界优化的框架。 （英语） Zbl 1213.68581号 J.汽车。推理 46，第1期，81-102（2011）.MSC公司：68T20型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人，J.Autom。推理46，No.1，81--102（2011；Zbl 1213.68581） 全文： 内政部
哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 用于布尔优化和生成优化证书的分支和绑定。 （英语） Zbl 1247.68255号 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，453-466（2009）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人，Lect。注释计算。科学。5584、453--466（2009年；Zbl 1247.68255） 全文： 内政部
罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯 快速同余闭包和扩展。 （英语） 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） 全文： 内政部