唐纳德·洛夫兰;阿什什·萨巴沃尔;巴特·塞尔曼 DPLL：现代可满足性求解器的核心。 （英文） Zbl 1439.68026号 Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。外部。控制日志。10, 315-335 (2016).MSC公司：68伏15 68-03 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Loveland}等人，Outst。控制日志。10、315--335（2016；Zbl 1439.68026） 全文： 内政部
卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 利用信念传播、回溯搜索和统计数据进行模型计算。 （英文） Zbl 1225.90108号 安·Oper。物件。 184, 209-231 (2011).MSC公司：90C27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Kroc}等人，Ann.Oper。第184、209--231号决议（2011年；Zbl 1225.90108） 全文： 内政部 链接
亨利·考茨;巴特·塞尔曼 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） 全文： 内政部
亨利·考茨（编辑）;巴特·塞尔曼（编辑） 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）
卡拉·P·戈麦斯。;巴特·塞尔曼;努诺·克雷托;亨利·考茨 重尾现象与可满足性和约束满足问题。 （英文） Zbl 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国际服务。工程计算。科学。597, 169-186 (2000).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kautz}和\textit{B.Selman}，Kluwer Int.Ser。工程计算。科学。597169--186（2000年；Zbl 0979.68094）
卡拉·P·戈麦斯。;巴特·塞尔曼;努诺·克雷托;亨利·考茨 可满足性和约束满足问题中的重尾现象。 （英文） Zbl 0967.68145号 J.汽车。推理 24，编号1-267-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）
巴特·塞尔曼;斯科特·柯克帕特里克 可满足性测试计算成本中的关键行为。 （英文） 兹比尔1508.68346 Artif公司。智力。 81，第1-2、273-295号（1996年）.MSC公司：68T20型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Selman}和\textit{S.Kirkpatrick}，Artif。智力。81，编号1--2，273--295（1996；Zbl 1508.68346） 全文： 内政部
巴特·塞尔曼;大卫·G·米切尔。;Hector J.列夫斯克。 产生难以满足的问题。 （英文） Zbl 1508.68347号 Artif公司。智力。 81，第1-2号，17-29（1996）.MSC公司：68T20型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Selman}等人，Artif。智力。81，编号1--2，17-29（1996；Zbl 1508.68347） 全文： 内政部