比杰西,佩尔;詹姆斯·库库拉;罗伯特·达米亚诺;斯坦宁,特德;朱云山 用树分解指导SAT诊断。 (英语) Zbl 1204.68104号 Giunchiglia,Enrico(编辑)等,可满足性测试的理论和应用。2003年5月5日至8日,意大利圣玛格丽塔·利古雷,第六届国际SAT会议。选定的修订论文。柏林:施普林格出版社(ISBN 3-540-20851-8/pbk)。莱克特。票据计算。科学。2919, 315-329 (2004).MSC公司:65年第68季度 05C65号 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{P.Bjesse}等人,Lect。票据计算。科学。2919、315--329(2004年;Zbl 1204.68104) 全文: 内政部
月亮,In-Ho;郭熙华;詹姆斯·库库拉;托马斯·希普尔;卡尔·皮克斯利 使用参数表示简化电路以进行形式验证。 (英语) Zbl 1019.68626号 Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2517, 52-69 (2002).MSC公司:68单位07 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.-H.Moon}等人,Lect。票据计算。科学。2517、52-69(2002年;Zbl 1019.68626) 全文: 链接
Chauhan,潘卡杰;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋(Wang,Dong) 使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象精化。 (英语) 兹伯利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) 全文: 链接
埃德蒙·克拉克;阿努巴夫·古普塔;詹姆斯·库库拉;斯特里赫曼(Ofer Strichman) 使用ILP和机器学习技术的基于SAT的抽象重定义。 (英语) Zbl 1010.68515号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2404, 265-279 (2002).MSC公司:60年第68季度 68T05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,Lect。票据计算。科学。2404265-279(2002年;Zbl 1010.68515) 全文: 链接