Fadi A.阿卢尔。;阿拉提·拉马尼;伊戈尔·马尔科夫。;卡伦·萨卡拉。 布尔可满足性的动态对称破缺。 （英语） Zbl 1205.68366号 安。数学。Artif公司。智力。 57，第1期，59-73（2009）.MSC公司：68T20型 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{F.A.Aloul}等人，《数学年鉴》。Artif公司。智力。57，第1号，59--73（2009；Zbl 1205.68366） 全文： 内政部
A.拉马尼。;马尔科夫，I.L。;萨卡拉，K.A。;阿洛尔，F.A。 在精确图着色中打破实例无关的对称性。 （英语） Zbl 1182.68152号 J.阿蒂夫。智力。研究（JAIR） 26, 289-322 (2006).MSC公司：68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramani}等人，J.Artif。智力。研究（JAIR）26，289--322（2006；Zbl 1182.68152） 全文： arXiv公司
阿拉提·拉马尼;伊戈尔·马尔科夫。 在约束编程中自动利用对称性。 （英语） Zbl 1078.68760号 Faltings，Boi（编辑）等人，约束的最新进展。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会，CSCLP 2004，瑞士洛桑，2004年6月23日至25日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-25176-6/pbk）。计算机科学课堂讲稿3419。人工智能课堂讲稿，98-112（2005）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramani}和\textit{I.L.Markov}，莱克特。注释计算。科学。3419、98——112（2005年；Zbl 1078.68760） 全文： 内政部
DoRon B.莫特。;罗伊，Jarrod A。;伊戈尔·马尔科夫。 分辨率无法多项式模拟压缩的BFS。 （英语） Zbl 1099.68102号 安。数学。Artif公司。智力。 44，第1-2期，121-156（2005）.MSC公司：68T20型 第68页第15页 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Motter}等人，《数学年鉴》。Artif公司。智力。44，编号1--2，121-156（2005；Zbl 1099.68102） 全文： 内政部 链接
DoRon B.莫特。;伊戈尔·马尔科夫。 压缩宽度首次搜索可满足性。 （英语） Zbl 1014.68560号 Mount，David M.（编辑）等人，《算法工程与实验》。第四届国际研讨会，2002年1月4日至5日，美国加利福尼亚州旧金山，ALENEX 2002。修订论文。柏林：施普林格。莱克特。注释计算。科学。2409, 29-42 (2002).MSC公司：68单位99 68周05 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛D.B.Motter｝和\textit｛I.L.Markov｝，Lect。注释计算。科学。2409、29-42（2002年；Zbl 1014.68560） 全文： 链接