西尔万·达拉斯;吉尔·迪肯;劳雷·德文德维尔;李楚敏 Max-SAT求解中的不一致子句子集。 （英语） Zbl 1145.68509号 Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。计算机科学课堂讲稿4741225-240（2007）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Darras}等人，Lect。票据计算。科学。4741225-240（2007年；Zbl 1145.68509） 全文： 内政部
达拉斯，S。;邓肯（G.Dequen）。;德文德维尔，L。;Mazure，B。;R.奥斯特罗斯基。;塞伊斯，L。 使用布尔约束传播进行子子句推导。 （英语） Zbl 1153.68456号 van Beek，Peter（编辑），约束编程的原理和实践–CP 2005。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709757-761（2005）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Darras}等人，Lect。票据计算。科学。3709757-761（2005年；兹比尔1153.68456） 全文： 内政部