亨利·考茨；巴特·塞尔曼 SAT的状态。 （英语） Zbl 1121.68108号 离散应用程序。数学。 155，第12期，1514-1524（2007）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kautz}和\textit{B.Selman}，离散应用程序。数学。155，第12号，1514--1524（2007；Zbl 1121.68108） 全文： 内政部
唐纳德·帕特森。；亨利·考茨 自动漫游卫星：Walksat的自调整实现。 （英语） Zbl 0990.90533号 Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注意离散数学。9，无页码。，仅电子版（2001）。MSC公司：90C27型 90B40码 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Patterson}和\textit{H.Kautz}，电子。注意离散数学。9，无页码。（2001年；Zbl 0990.90533）
亨利·考茨（编辑）；巴特·塞尔曼（编辑） LICS 2001满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。 （英语） Zbl 0968.90001号 离散数学中的电子笔记. 9. 阿姆斯特丹：Elsevier，29篇论文（电子版）（2001年）。MSC公司：90-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kautz}（编辑）和textit{B.Selman}（编），LICS 2001满意度测试理论和应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier（2001；Zbl 0968.90001）
卡拉·戈麦斯。；巴特·塞尔曼；努诺·克拉托；亨利·考茨 重尾现象与可满足性和约束满足问题。 （英语） 兹比尔0979.68049 Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 15-41 (2000).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Gomes}等人，前面。Artif公司。智力。申请。63、15--41（2000年；Zbl 0979.68049）
亨利·考茨；巴特·塞尔曼 为命题规划编码领域和控制知识。 （英语） Zbl 0979.68094号 Jack Minker（编辑），基于逻辑的人工智能。研讨会记录，华盛顿特区，美国，1999年6月。多德雷赫特：Kluwer学术出版社。Kluwer国际服务。工程计算。科学。第597169-186页（2000年）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kautz}和\textit{B.Selman}，Kluwer Int.Ser。工程计算。科学。597169--186（2000年；Zbl 0979.68094）
卡拉·戈麦斯。；巴特·塞尔曼；努诺·克拉托；亨利·考茨 可满足性和约束满足问题中的重尾现象。 （英语） Zbl 0967.68145号 J.汽车。推理 24，编号1-2，67-100（2000）.MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Gomes}等人，J.Autom。推理24，No.1--2，67--100（2000；Zbl 0967.68145） 全文： 内政部
巴特·塞尔曼；亨利·考茨；布拉姆·科恩 可满足性测试的局部搜索策略。 （英语） Zbl 0864.90093号 Johnson，David S.（编辑）等人，Cliques，着色和可满足性。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。普罗维登斯，RI：美国数学学会。DIMACS，系列。离散数学。西奥。计算。科学。26, 521-531 (1996).MSC公司：90C09型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{B.Selman}等人，DIMACS，序列号。离散数学。西奥。计算。科学。26、521--531（1996；Zbl 0864.90093）