马丁·库珀。;彼得·杰文斯(Peter G.Jeavons)。;安德拉斯·萨拉蒙。 树上的广义约束满足:混合可处理性和变量消除。 (英语) Zbl 1205.68372号 Artif公司。智力。 174,编号9-10,570-584(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。智力。174,编号9--10,570--584(2010;Zbl 1205.68372) 全文: 内政部
大卫·A·科恩。;马丁·库珀。;彼得·杰文斯(Peter G.Jeavons)。;安德烈·克鲁金(Andrei A.Krokhin)。 软约束满足的复杂性。 (英语) Zbl 1131.68520号 Artif公司。智力。 170,第11号,983-1016(2006).MSC公司:68T20型 第68季度25 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,Artif。智力。170,第11号,983--1016(2006;Zbl 1131.68520) 全文: 内政部 链接
彼得·杰文斯;大卫·科恩;马丁·库珀。 约束、一致性和封闭性。 (英语) Zbl 0909.68076号 Artif公司。智力。 101,编号1-2,251-265(1998).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jeavons}等人,Artif。智力。101,编号1--2,251--265(1998;Zbl 0909.68076) 全文: 内政部
彼得·杰文斯(Peter G.Jeavons)。;马丁·库珀。 有序域上的可追踪约束。 (英语) Zbl 1508.68132号 Artif公司。智力。 79,第2号,327-339(1995).MSC公司:第68季度25 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jeavons}和\textit{M.C.Cooper},Artif。智力。79,第2号,327--339(1995;Zbl 1508.68132) 全文: 内政部
彼得·杰文斯(Peter G.Jeavons)。;马丁·库珀。 有序域上的可追踪约束。 (英语) Zbl 1013.68503号 Artif公司。智力。 79,第2号,327-339(1995).MSC公司:第68季度25 68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jeavons}和\textit{M.C.Cooper},Artif。智力。79,第2号,327--339(1995;Zbl 1013.68503) 全文: 内政部
马丁·库珀。;大卫·A·科恩。;彼得·杰文斯(Peter G.Jeavons)。 以可控制约束为特征。 (英语) 兹比尔0803.68053 Artif公司。智力。 65,第2期,347-361(1994).MSC公司:第68季度25 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。智力。65,第2号,347--361(1994;Zbl 0803.68053) 全文: 内政部
马克·吉森;彼得·杰文斯(Peter G.Jeavons)。;大卫·A·科恩。 使用数据库技术分解约束满足问题。 (英语) Zbl 0803.68090号 Artif公司。智力。 66,第1期,57-89(1994年).MSC公司:68兰特 第68季度25 第68页第15页 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gyssens}等人,Artif。智力。66,编号1,57--89(1994;Zbl 0803.68090) 全文: 内政部