吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 基于SAT的布尔和线性数学命题公式求解方法。 （英语） 兹比尔1072.68562 Andrei Voronkov（编辑），自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43931-5）。莱克特。注释计算。科学。2392, 195-210 (2002).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}等人，Lect。注释计算。科学。2392195-210（2002年；Zbl 1072.68562） 全文： 链接
吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 集成布尔运算和数学求解：基础、基本算法和要求。 （英语） Zbl 1072.68603号 Calmet，Jacques（编辑）等人，《人工智能、自动推理和符号计算》。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43865-3）。莱克特。注释计算。科学。2385, 231-245 (2002).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}等人，Lect。注释计算。科学。2385231--245（2002年；Zbl 1072.68603） 全文： 链接