伊曼纽尔·迪·罗莎;恩里科·金西格里亚;马可·马拉提亚 用偏好解决可满足性问题。 (英语) Zbl 1208.68199号 约束条件 15,第4期,485-515(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Rosa}等人,《限制条件》15,第4期,485--515(2010;Zbl 1208.68199) 全文: 内政部
金塔拉斯帕卢贝基斯 Max-2-SAT问题的一个新的定界过程和一个改进的精确算法。 (英语) Zbl 1179.90234号 申请。数学。计算。 215,第3期,1106-1117(2009).MSC公司:90C09型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{G.Palubeckis},应用程序。数学。计算。215,第3号,1106--1117(2009;Zbl 1179.90234) 全文: 内政部
达利拉Boughaci;贝拉伊德·本哈穆;哈比巴·德里亚斯 MAX-SAT问题的分散搜索和遗传算法。 (英语) 兹比尔1140.68062 数学杂志。模型。算法 7,第2期,101-124(2008).MSC公司:68T20型 68T05型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{D.Boughaci}等人,J.数学。模型。算法7,No.2,101--124(2008;Zbl 1140.68062) 全文: 内政部
邢,赵;张伟雄 MaxSolver:一种有效的(加权)最大可满足性精确算法。 (英语) Zbl 1132.68716号 Artif公司。智力。 164,编号1-2,47-80(2005).MSC公司:68T20型 65年第68季度 90C05(二氧化碳) 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xing}和\textit{W.Zhang},Artif。智力。164,编号1--2,47-80(2005;Zbl 1132.68716) 全文: 内政部