威廉·克利伯;萨米尔·萨普拉;高思春;埃德蒙·克拉克 具有游戏状态学习的非婚前协议、非子句QBF求解器。 （英语） Zbl 1306.68161号 Strichman，Ofer（编辑）等人，《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14185-0/pbk）。计算机科学课堂讲稿6175128-142（2010）。MSC公司：68T20型 60年第68季度 68T05型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Klieber}等人，Lect。注释计算。科学。6175、128--142（2010年；Zbl 1306.68161） 全文： 内政部
潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋（Wang，Dong） 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象求精。 （英语） Zbl 1019.68618号 Aagaard，Mark D.（编辑）等人，《计算机辅助设计中的形式化方法》。第四届国际会议，2002年11月6日至8日，美国俄勒冈州波特兰市，FMCAD 2002。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2517, 33-51 (2002).MSC公司：68单位07 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chauhan}等人，Lect。注释计算。科学。2517、33-51（2002年；Zbl 1019.68618） 全文： 链接