汤姆·施里杰弗斯;塔克,吉多;皮特·威勒;霍斯特,萨穆洛维茨;彼得·斯图基(Peter J.Stuckey)。 搜索组合词。 (英语) Zbl 1309.90090号 约束条件 18,第2期,269-305(2013).MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,约束18,No.2,269--305(2013;Zbl 1309.90090) 全文: DOI程序 arXiv公司 链接
卡洛斯·安索特吉;米克尔波菲尔;米克尔帕拉西;约塞普·苏伊;马图·维拉雷特 通过重新表述为可满足性模理论来解决具有元约束的加权CSP。 (英语) Zbl 1309.90083号 约束条件 18,第2期,236-268(2013).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《限制条件18》,第2期,第236-268页(2013年;Zbl 1309.90083) 全文: DOI程序
米克尔波菲尔;布斯克茨,迪达;穆尼奥斯,维克托;马图·维拉雷特 基于重构的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) 全文: DOI程序
斯特凡·海因茨;延斯·舒尔茨;克里斯托弗·贝克 使用双重预求解约简重新计算累积约束。 (英语) Zbl 1309.90066号 约束条件 18,第2期,166-201(2013).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Heinz}等人,《约束18》,第2期,166--201(2013;Zbl 1309.90066) 全文: DOI程序
罗马人Barták;拉多米尔·乔诺克;库泽·埃尔卡,Ondřej;Zhi elezn,Filip先生 将模板ILP一致性问题定义为约束满足问题。 (英语) Zbl 1309.90054号 约束条件 18,第2期,144-165(2013).MSC公司:2009年9月90日 PDF格式BibTeX公司 XML格式引用 \textit{R.Barták}等人,《约束18》,第2期,144--165页(2013年;Zbl 1309.90054) 全文: DOI程序
安德烈亚·伦德尔(编辑);克里斯托弗·贝克(编辑) 介绍关于约束建模和重新计算的专题。 (英语) Zbl 1304.00057号 约束条件 18,第2期,141-143(2013).MSC公司:00时25分 68-06 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rendl}(编辑)和textit{J.C.Beck}(主编),约束18,第2期,141--143(2013;Zbl 1304.00057) 全文: DOI程序