雷汉·阿卜杜勒·阿齐兹;杰弗里·楚;克里斯蒂安·缪斯;彼得·斯塔基 \(\#{\exists}\mathrm{SAT}\):投影模型计数。 (英语) Zbl 1471.68174号 Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340121-137(2015年)。MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Aziz}等人,Lect。注释计算。科学。9340、121--137(2015;Zbl 1471.68174) 全文: 内政部 arXiv公司
杰弗里·楚;玛丽亚·加西亚·德拉班达;克里斯托弗·米尔斯;彼得·斯塔基。 对称、几乎对称和惰性子句生成。 (英语) Zbl 1316.90045号 约束条件 19,第4期,434-462(2014).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人,《限制条件》19,第4期,434--462(2014;Zbl 1316.90045) 全文: 内政部 链接
雷汉·阿卜杜勒·阿齐兹;杰弗里·楚;彼得·斯塔基。 已建立边界的稳定模型语义。 (英语) Zbl 1286.68038号 理论与实践。日志。程序。 13,No.4-5,517-532(2013).MSC公司:68N17号 第68季度55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Aziz}等人,《理论与实践》。日志。程序。13、编号4--5、517--532(2013;Zbl 1286.68038) 全文: 内政部
杰弗里·楚;亚伦·哈伍德;彼得·斯塔基。 布尔可满足性求解器的缓存意识数据结构。 (英语) Zbl 1187.68169号 J.满意。布尔模型。计算。 6,编号1-3,99-120(2009).MSC公司:68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人,J.Satisf。布尔模型。计算。6,编号1--3,99-120(2009;Zbl 1187.68169)