安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;乔迪,飞机;若昂·西尔瓦侯爵 迭代和核心指导的maxsat求解:调查和评估。 (英语) Zbl 1317.90199号 约束条件 18,第4期,478-534(2013).MSC公司:90C09型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Morgado}等人,《约束18》,第4期,478--534(2013;Zbl 1317.90199) 全文: DOI程序
赫拉斯,F。;D.巴内雷斯。 图形问题的不完全推理。 (英语) Zbl 1269.90128号 最佳方案。莱特。 7,第4号,791-805(2013).MSC公司:90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Heras}和\textit{D.Baneres},Optim。莱特。7,第4号,791--805(2013;Zbl 1269.90128) 全文: DOI程序
哈维尔·拉罗萨;费德里科·赫拉斯;西蒙·德·吉夫里 高效Max-SAT求解的逻辑方法。 (英语) Zbl 1182.68253号 Artif公司。智力。 172,编号2-3,204-233(2008).MSC公司:68T20型 03B35型 65年第68季度 68吨15 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人,Artif。智力。172,编号2-3204-233(2008年;兹bl 1182.68253) 全文: DOI程序
费德里科·赫拉斯;哈维尔·拉罗萨 基于Max-SAT推断的Max-Clique预处理。 (英语) Zbl 1138.68541号 Kleine Büning,Hans(编辑)等人,《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日,中国广州,第十一届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79718-0/pbk)。计算机科学课堂讲稿4996139-152(2008)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Heras}和\textit{J.Larrosa},莱克特。注释计算。科学。4996、139--152(2008年;Zbl 1138.68541) 全文: DOI程序