Jean-Marie拉格尼茨；伊曼纽尔·隆卡；皮埃尔·侯爵 无法定义模型计数。 （英语） Zbl 1435.68304号 Artif公司。智力。 281，文章ID 103229，32 p.（2020）.MSC公司：68T20型 03B05号 68兰特 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}等人，Artif。智力。281，文章ID 103229，32 p.（2020；Zbl 1435.68304） 全文： 内政部
Jean-Marie拉格尼茨；皮埃尔·侯爵 关于预处理技术及其对命题模型计数的影响。 （英语） Zbl 1409.68259号 J.汽车。推理 58，第4期，413-481（2017）.MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}和textit{P.Marquis}，J.Autom。推理58，No.4，413--481（2017；Zbl 1409.68259） 全文： 内政部
吉尔·奥德玛；Jean-Marie拉格尼茨；洛朗·西蒙 通过假设提高血糖以解决递增SAT：应用于MUS提取。 （英语） Zbl 1390.68587号 Järvisalo，Matti（编辑）等人，《可满足性测试的理论和应用——2013年SAT》。第16届国际会议，芬兰赫尔辛基，2013年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39070-8/pbk）。计算机科学讲义7962309-317（2013）。MSC公司：68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}等人，Lect。注释计算。科学。7962、309--317（2013；Zbl 1390.68587） 全文： 内政部
吉尔·奥德玛；Jean-Marie拉格尼茨；贝特朗·马祖尔；拉赫达尔·塞伊斯 冻结和重新激活所学的子句。 （英语） Zbl 1330.68267号 Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19日至22日，美国密歇根州安娜堡，第14届国际会议，SAT 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。《计算机科学讲义》6695188-200（2011）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}等人，Lect。注释计算。科学。6695188-200（2011年；Zbl 1330.68267） 全文： 内政部