卡洛斯·安索特吉;米克尔波菲尔;米克尔帕拉西;约塞普·苏伊;维拉雷特,马特乌 通过重新表述为可满足性模理论,求解具有元约束的加权CSP。 (英语) Zbl 1309.90083号 限制条件 18,第2期,236-268(2013).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,约束18,No.2,236--268(2013;Zbl 1309.90083) 全文: 内政部
米克尔波菲尔;布斯克茨,迪达;穆尼奥斯,维克托;维拉雷特,马特乌 基于重构的MaxSat鲁棒性。 (英语) Zbl 1309.90069号 限制条件 18,第2期,202-235(2013).MSC公司:90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人,约束18,第2号,202--235(2013;Zbl 1309.90069) 全文: 内政部
米克尔波菲尔;米克尔帕拉西;约塞普·苏伊;维拉雷特,马特乌 用SAT模理论求解约束满足问题。 (英语) Zbl 1309.90099号 限制条件 17,第3号,273-303(2012).MSC公司:90立方 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人,约束17,No.3,273--303(2012;Zbl 1309.90099) 全文: 内政部