贾尔斯·里格尔；安德烈·沃伦科夫 基于饱和的证明搜索中的归纳。 （英语） Zbl 07178993号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 477-494 (2019).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Reger}和\textit{A.Voronkov}，莱克特。注释计算。科学。11716、477--494（2019；Zbl 07178993） 全文： DOI程序 链接
安德鲁·雷诺兹；金，蒂姆；维克多·昆卡 通过反例引导实例化求解量化线性算法。 （英语） Zbl 1377.68138号 形式方法系统。设计。 51，第3号，500-532（2017）.MSC公司：60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，《形式方法系统》。设计。51，第3号，500--532（2017；Zbl 1377.68138） 全文： DOI程序 链接
哈利勒·杰卢尔 从可分解到残差理论。 （英语） Zbl 1192.68641号 申请。数学。计算。 215，第5期，1761-1779（2009）.MSC公司：68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Djelloul}，应用。数学。计算。215，第5号，1761-1779（2009；Zbl 1192.68641） 全文： DOI程序
哈利勒·杰卢尔 可分解理论的完整一阶约束求解器。 （英语） Zbl 1183.68557号 安。数学。Artif公司。智力。 56，第1期，43-64（2009）.MSC公司：68吨15 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Djelloul}，Ann.数学。Artif公司。智力。56，编号1，43--64（2009；Zbl 1183.68557） 全文： DOI程序
哈利勒·杰罗尔 基于对偶约束的函数分解理论的有效决策过程。 （英语） Zbl 1248.03019号 Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，33-50（2009）。MSC公司：03B25号 03C07号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Djelloul}，莱克特。注释计算。科学。5655，33-50（2009；Zbl 1248.03019） 全文： DOI程序
哈利勒·杰卢尔 可分解理论的完整一阶约束求解器。 （英语） Zbl 1166.68344号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，93-108（2008）。MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Djelloul}，莱克特。注释计算。科学。5144、93--108（2008年；Zbl 1166.68344） 全文： DOI程序
哈利勒·杰卢尔 可分解的理论。 （英语） Zbl 1129.03016号 理论与实践。日志。程序。 7，第5号，583-632（2007）.MSC公司：03B70号 2012年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.Djelloul}，理论与实践。日志。程序。7，第5号，583--632（2007；Zbl 1129.03016） 全文： DOI程序
张婷；亨尼·B·西普玛。；佐哈尔·曼纳 具有整数约束的项代数的决策过程。 （英语） Zbl 1103.68080号 Inf.计算。 204，第10期，1526-1574（2006）.MSC公司：60年第68季度 68号30 68第05页 03B25号 03B35型 03B70号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhang}等人，《信息计算》。204、10号、1526——1574（2006；Zbl 1103.68080） 全文： DOI程序
利奥尼德·利金 小度结构上的约束查询的折叠结果。 （英语） Zbl 1162.68418号 信息处理。莱特。 86，第5期，277-281（2003）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Libkin}，Inf.过程。莱特。86，No.5，277--281（2003；Zbl 1162.68418） 全文： DOI程序