穆罕默德·萨米·谢里夫;贾马尔哈贝特;安德烈·阿布拉梅 通过高分辨率了解Max-SAT分辨率的威力。 (英语) Zbl 1504.68203号 Artif公司。智力。 289,文章ID 103397,19 p.(2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Cherif}等人,Artif。智力。289,文章ID 103397,19 p.(2020;Zbl 1504.68203) 全文: 内政部
艾布拉梅,安德烈;贾马尔哈贝特;多尼亚图米 改进可满足随机SAT实例的配置检查。 (英语) Zbl 1404.68136号 安。数学。Artif公司。智力。 79,编号1-3,5-24(2017).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abramé}等人,《数学年鉴》。Artif公司。智力。79,编号1--3,5--24(2017;Zbl 1404.68136) 全文: 内政部
安德烈·阿布拉梅;贾马尔哈贝特 ahmaxsat卫星:分支和绑定Max-SAT解算器的描述和计算。 (英语) Zbl 1484.68214号 J.满意。布尔模型。计算。 9(2014-2016), 89-128 (2015).MSC公司:68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abramé}和\textit{D.Habet},J.Satisfe。布尔模型。计算。9、89-128(2015;Zbl 1484.68214) 全文: 内政部