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公司
Fadi A.阿卢尔。 基于SAT的布尔优化搜索技术。 (英语) Zbl 1177.90294号 J.富兰克林研究所。 343,No.4-5,436-447(2006).MSC公司:90立方厘米 90C05(二氧化碳) 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Aloul},J.Franklin Inst.343,No.4--5,436--447(2006;Zbl 1177.90294) 全文: 内政部