唐纳德·洛夫兰;阿什什·萨巴沃尔;巴特·塞尔曼 DPLL：现代可满足性求解器的核心。 （英语） 兹比尔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） 全文： 内政部
布莱恩·凯尔;阿什什·萨巴沃尔;威伦·扬·霍夫 BDD-引导子句生成。 （英语） Zbl 1459.68191号 Michel，Laurent（编辑），约束编程中AI和OR技术的集成。2015年5月18日至22日，第12届国际会议，CPIOR 2015，西班牙巴塞罗那。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9075, 215-230 (2015).MSC公司：68T20型 68兰特 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kell}等人，Lect。注释计算。科学。9075、215--230（2015年；Zbl 1459.68191） 全文： 内政部
比斯特拉·迪尔基纳;卡拉·戈麦斯。;阿什什·萨巴沃尔 可满足性后门复杂性的权衡：动态子解算器和搜索过程中的学习。 （英语） Zbl 1357.68205号 安。数学。Artif公司。智力。 70，第4期，399-431（2014）.MSC公司：68T20型 68T05型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Dilkina｝等人，Ann.Math。Artif公司。智力。70，第4号，399--431（2014；Zbl 1357.68205） 全文： 内政部
卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 利用信念传播、回溯搜索和统计数据进行模型计算。 （英语） Zbl 1225.90108号 安·Oper。研究。 184, 209-231 (2011).MSC公司：90立方厘米27 PDF格式BibTeX公司 XML格式引用 \textit{L.Kroc}等人，Ann.Oper。第184、209--231号决议（2011年；Zbl 1225.90108） 全文： 内政部 链接
卡梅尔·多姆什拉克;霍夫曼，约格;阿什什·萨巴沃尔 朋友还是敌人？将规划作为可满足性和抽象CNF编码。 （英语） 兹比尔1188.68270 J.阿蒂夫。智力。研究（JAIR） 36, 415-469 (2009).MSC公司：68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Domshlak}等人，J.Artif。智力。研究（JAIR）36，415--469（2009；Zbl 1188.68270） 全文： 内政部
阿什什·萨巴沃尔 SymChaff公司：在结构软件可满足性求解器中利用对称性。 （英语） Zbl 1186.68442号 约束条件 14，第4期，478-505（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sabharwal}，约束14，No.4，478--505（2009；Zbl 1186.68442） 全文： 内政部