纪尧姆·波德·贝蒂尔;吉拉尔德斯·克鲁，杰苏斯;洛朗·西蒙 关于有界模型检验SAT问题的社区结构。 （英语） Zbl 1496.68361号 Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10491, 65-82 (2017).MSC公司：68伏15 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Baud-Berthier}等人，Lect。注释计算。科学。10491、65-82（2017年；Zbl 1496.68361） 全文： 内政部
吉尔·奥德玛;洛朗·西蒙 SAT问题中的极端情况。 （英语） Zbl 1475.68333号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 87-103 (2016).MSC公司：68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}和\textit{L.Simon}，莱克特。注释计算。科学。9710，87-103（2016；Zbl 1475.68333） 全文： 内政部
卡洛斯·安索特吉;吉拉尔德斯·克鲁，杰苏斯;约尔迪·利维;洛朗·西蒙 使用社区结构来检测相关的习得从句。 （英语） Zbl 1471.68235号 Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 238-254 (2015).MSC公司：68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人，Lect。注释计算。科学。9340、238--254（2015年；Zbl 1471.68235） 全文： 内政部
吉尔·奥德玛;西蒙，劳伦特 并行SAT解算器的惰性子句交换策略。 （英语） Zbl 1423.68431号 Sinz，Carsten（编辑）等人，《满意度测试的理论和应用——SAT 2014》。2014年7月14日至17日在奥地利维也纳举行的第17届国际会议，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8561, 197-205 (2014).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Audemard}和\textit{L.Simon}，莱克特。注释计算。科学。8561，197--205（2014；Zbl 1423.68431） 全文： 内政部
吉尔·奥德玛;Jean-Marie拉格尼茨;洛朗·西蒙 通过假设提高血糖以解决递增SAT：应用于MUS提取。 （英语） Zbl 1390.68587号 Järvisalo，Matti（编辑）等人，《可满足性测试的理论和应用——2013年SAT》。第十六届国际会议，芬兰赫尔辛基，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） 全文： 内政部
丹尼尔·勒贝雷;洛朗·西蒙 温哥华的五十五名解算员：2004年SAT竞赛。 （英语） Zbl 1122.68609号 Hoos，Holger H.（编辑）等，可满足性测试的理论和应用。2004年5月10日至13日，在加拿大不列颠哥伦比亚省温哥华举行的第七届国际SAT大会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-27829-X/pbk）。计算机科学课堂讲稿3542，321-344（2005）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Le Berre}和\textit{L.Simon}，Lect。注释计算。科学。3542、321--344（2005；Zbl 1122.68609） 全文： 内政部
丹尼尔·勒贝雷;洛朗·西蒙;阿曼多·塔切拉 QBF领域的挑战：SAT’03对QBF解决者的评估。 （英语） Zbl 1204.68204号 Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 468-485 (2004).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Le Berre}等人，Lect。注释计算。科学。2919、468--485（2004年；Zbl 1204.68204） 全文： 内政部
丹尼尔·勒贝雷;洛朗·西蒙 2003年SAT竞赛要点。 （英语） Zbl 1204.68203号 Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 452-467 (2004).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Le Berre}和\textit{L.Simon}，Lect。注释计算。科学。2919452-467（2004年；Zbl 1204.68203） 全文： 内政部
洛朗·西蒙;菲利普·查塔利克 SatEx：SAT实验的基于网络的框架。 （英语） Zbl 0990.90549号 Kautz，Henry（ed.）等人，LICS 2001可满足性测试理论和应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注释离散数学。9，无页码。，仅电子版（2001）。MSC公司：90立方厘米27 PDF格式BibTeX公司 XML格式引用 \textit{L.Simon}和\textit{P.Chatalic}，电子。注释离散数学。9，无页码。（2001年；Zbl 0990.90549）