洛夫兰,唐纳德;阿什什·萨巴沃尔;巴特·塞尔曼 DPLL:现代可满足性求解器的核心。 (英语) Zbl 1439.68026号 Omodeo、Eugenio G.(编辑)等,马丁·戴维斯,关于可计算性、计算逻辑和数学基础。查姆:施普林格。Outst公司。控制日志。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 1102.68651号 约束条件 10,第4期,317-337(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Gomes}等人,《约束10》,第4期,317--337(2005;Zbl 1102.68651) 全文: 内政部 链接
亨利·考茨;巴特·塞尔曼 十大挑战红色命题推理和搜索的最新进展。 (英语) Zbl 1273.68350号 Rossi,Francesca(编辑),约束编程的原理和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20202-1/pbk)。莱克特。注释计算。科学。2833, 1-18 (2003).MSC公司:68T20型 68吨15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.考茨}和\textit{B.塞尔曼},莱克特。注释计算。科学。2833,1--18(2003年;Zbl 1273.68350) 全文: 内政部
陈,胡比;卡拉·戈麦斯;巴特·塞尔曼 组合搜索中重尾行为的形式化模型。 (英语) Zbl 1067.68620号 Walsh,Toby(编辑),约束编程的原理和实践-CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42863-1)。莱克特。注释计算。科学。2239, 408-421 (2001).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人,Lect。注释计算。科学。2239408--421(2001年;Zbl 1067.68620) 全文: 链接