马丁·库珀。;安德烈亚斯·赫齐格;Faustine马弗雷;弗雷德里克·马里斯;伊莉莎·佩罗廷;皮埃尔·雷格尼尔 轻量级认知逻辑及其在规划中的应用。 (英语) Zbl 1520.68184号 Artif公司。智力。 298,文章ID 103437,32 p.(2021).MSC公司:68T27型 03B42型 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。智力。298,文章ID 103437,32 p.(2021;Zbl 1520.68184) 全文: 内政部 哈尔
马丁·库珀。;艾尔·穆埃利,Achref;西里尔·特里奥克斯 二进制CSP中的变量消除。 (英语) Zbl 1494.68252号 J.阿蒂夫。智力。研究(JAIR) 66, 589-624 (2019).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,J.Artif。智力。研究(JAIR)66,589--624(2019;Zbl 1494.68252) 全文: 内政部 arXiv公司
石炭纪,Clément;科恩,大卫·A。;马丁·库珀。;斯坦尼斯拉夫·伊文 关于由单调模式定义的CSP的单点弧一致性。 (英语) Zbl 1421.68151号 算法 81,第4期,1699-1727(2019).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Carbonnel}等人,Algorithmica 81,No.4,1699--1727(2019;Zbl 1421.68151) 全文: 内政部
科恩,大卫·A。;马丁·库珀。;彼得·杰文斯(Peter G.Jeavons)。;斯坦尼斯拉夫·伊文 由排除的拓扑子项定义的二元约束满足问题。 (英语) Zbl 1408.68130号 Inf.计算。 264, 12-31 (2019).MSC公司:68T20型 05C83号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,《信息计算》。264、12--31(2019年;Zbl 1408.68130) 全文: 内政部 arXiv公司 链接
石炭纪,Clément;科恩,大卫·A。;马丁·库珀。;斯坦尼斯拉夫·伊文 关于由单调模式定义的CSP的单点弧一致性。 (英语) Zbl 1487.68208号 Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第19条,第15页(2018年)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Carbonnel}等人,LIPIcs——莱布尼茨国际程序。通知。96,第19条,第15页(2018;Zbl 1487.68208) 全文: 内政部 arXiv公司
马丁·库珀。;艾默尔·杜兴;艾尔·穆埃利,Achref;纪尧姆·埃斯卡莫彻;西里尔·特里奥克斯;布鲁诺·扎努蒂尼 断三角形:从值合并到一类易于处理的一般性约束满足问题。 (英语) 兹比尔1351.68253 Artif公司。智力。 234, 196-218 (2016).MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。智力。234196-218(2016;Zbl 1351.68253) 全文: 内政部 链接
科恩,大卫·A。;马丁·库珀。;纪尧姆·埃斯卡莫彻;日夫尼,斯坦尼斯拉夫 通过禁止模式消除二进制约束满足中的变量和值。 (英语) Zbl 1320.68168号 J.计算。系统。科学。 81,第7期,1127-1143(2015).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,《计算杂志》。系统。科学。81,第7号,1127--1143(2015;Zbl 1320.68168) 全文: 内政部 arXiv公司
马丁·库珀。;纪尧姆·埃斯卡莫彻 描述由2-约束禁止模式定义的约束满足问题的复杂性。 (英语) Zbl 1311.05004号 离散应用程序。数学。 184, 89-113 (2015).MSC公司:05年05月05日 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}和\textit{G.Escamocher},离散应用。数学。184,89-113(2015年;兹bl 1311.05004) 全文: 内政部
马丁·库珀。;弗雷德里克·马里斯;皮埃尔·雷格尼尔 单调时间规划:可处理性、扩展和应用。 (英语) Zbl 1372.68232号 J.阿蒂夫。智力。研究(JAIR) 50, 447-485 (2014).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,J.Artif。智力。研究(JAIR)50,447--485(2014;Zbl 1372.68232) 全文: 内政部
马丁·库珀。;弗雷德里克·马里斯;皮埃尔·雷格尼尔 在需要并发的规划问题中管理时间周期。 (英语) Zbl 1274.68419号 计算。智力。 29,第1期,111-128(2013).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,《计算》。智力。29,第1号,111-128(2013;Zbl 1274.68419) 全文: 内政部 链接
科恩,大卫·A。;马丁·库珀。;巴伊迪·克里德;达尼尔·马克思;安德拉斯·萨拉蒙。 由禁止模式定义的CSP类的可处理性。 (英语) Zbl 1253.68296号 J.阿蒂夫。智力。研究(JAIR) 45, 47-78 (2012).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,J.Artif。智力。研究(JAIR)45,47-78(2012;Zbl 1253.68296) 全文: 内政部
马丁·库珀。;玛丽·德·罗克莫雷尔;皮埃尔·雷格尼尔 成本最优规划的加权顾客服务提供商方法。 (英语) Zbl 1233.68205号 AI社区。 24,第1期,1-29页(2011年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,AI Commun。24,第1号,1-29(2011;Zbl 1233.68205) 全文: 内政部
马丁·库珀。;斯坦尼斯拉夫·伊文 有值约束问题的混合可处理性。 (英语) Zbl 1225.68243号 Artif公司。智力。 175,编号9-10,1555-1569(2011).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}和\textit{S.Tivn},Artif。智力。175,编号9--10,1555--1569(2011;Zbl 1225.68243) 全文: 内政部 arXiv公司
马丁·库珀。;彼得·杰文斯(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) 全文: 内政部
M.C.库珀。;德吉夫里,S。;桑切斯,M。;Schiex,T。;Zytnicki,M。;T·沃纳。 再次检查软弧一致性。 (英语) Zbl 1213.68580号 Artif公司。智力。 174,编号7-8,449-478(2010).MSC公司:68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。智力。174,编号7--8,449--478(2010;Zbl 1213.68580) 全文: 内政部
库珀,马丁 线条图解释。 (英语) Zbl 1158.68047号 伦敦:施普林格出版社(ISBN 978-1-84800-228-9/hbk)。ix,255页。(2008).MSC公司:68单位05 68T20型 第68页第45页 90 C59 68-01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Cooper},线条图解释。伦敦:Springer(2008;Zbl 1158.68047)
科恩,大卫·A。;马丁·库珀。;彼得·杰文斯(Peter G.Jeavons)。 值约束复杂性的代数特征。 (英语) Zbl 1160.68540号 Benhamou,Frédéric(编辑),约束编程的原则和实践–CP 2006。2006年9月25日至29日,在法国南特举行的2006年CP第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46267-5/pbk)。计算机科学课堂讲稿4204,107-121(2006)。MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,Lect。注释计算。科学。4204107-121(2006年;兹比尔1160.68540) 全文: 内政部
科恩,大卫·A。;马丁·库珀。;彼得·杰文斯(Peter G.Jeavons)。;安德烈·克鲁金(Andrei A.Krokhin)。 软约束满足的复杂性。 (英语) Zbl 1131.68520号 Artif公司。智力。 170,第11号,983-1016(2006).MSC公司:68T20型 65年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,Artif。智力。170,编号11983-1016(2006年;Zbl 1131.68520) 全文: 内政部 链接
马丁·库珀。 有值约束满足的高阶一致性。 (英语) Zbl 1112.68118号 约束条件 10,第3期,283-305(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper},约束10,No.3,283--305(2005;Zbl 1112.68118) 全文: 内政部
大卫·科恩;库珀,马丁;彼得·杰文斯;安德烈·克罗金 超模函数和MAX CSP的复杂性。 (英语) Zbl 1146.68378号 离散应用程序。数学。 149,编号1-3,53-72(2005).MSC公司:65年第68季度 68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cohen}等人,离散应用。数学。149,编号1--3,53-72(2005;Zbl 1146.68378) 全文: 内政部
大卫·科恩;库珀,马丁;彼得·杰文斯 布尔约束优化问题复杂性的完整表征。 (英语) Zbl 1152.68549号 Wallace,Mark(编辑),约束编程的原理和实践–CP 2004。2004年9月27日至10月1日,加拿大多伦多,第十届国际会议,2004年CP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-23241-4/pbk)。计算机科学课堂讲稿3258212-226(2004)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cohen}等人,Lect。注释计算。科学。3258212-226(2004年;兹bl 1152.68549) 全文: 内政部
大卫·科恩;库珀,马丁;彼得·杰文斯;安德烈·克罗金 识别Max CSP的有效可解案例。 (英语) Zbl 1122.68589号 Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996152-163(2004)。MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cohen}等人,Lect。注释计算。科学。2996152-163(2004年;兹比尔1122.68589) 全文: 内政部
马丁·库珀。 循环一致性:二进制值约束的局部约简操作。 (英语) Zbl 1085.68671号 Artif公司。智力。 155,编号1-2,69-92(2004).MSC公司:68T20型 90摄氏度70 PDF格式BibTeX公司 XML格式引用 \文本{M.C.Cooper},Artif。智力。155,编号1--2,69-92(2004;Zbl 1085.68671) 全文: 内政部
库珀,马丁;托马斯·希克斯 软约束的圆弧一致性。 (英语) Zbl 1085.68672号 Artif公司。智力。 154,第1-2期,199-227(2004).MSC公司:68T20型 90摄氏度70 PDF格式BibTeX公司 XML格式引用 \textit{M.Cooper}和\textit{T.Schiex},人工制品。智力。154,编号1--2,199-227(2004;Zbl 1085.68672) 全文: 内政部 arXiv公司
大卫·科恩;库珀,马丁;彼得·杰文斯;安德烈·克罗金 软约束的最大可处理类。 (英语) Zbl 1080.68658号 J.阿蒂夫。智力。研究(JAIR) 22, 1-22 (2004).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cohen}等人,J.Artif。智力。决议(JAIR)22,1-22(2004年;兹比尔1080.68658) 全文: arXiv公司
科恩,大卫·A。;库珀,马丁;彼得·杰文斯;安德烈·克罗金 软约束:复杂性和多态性。 (英语) Zbl 1273.68342号 Rossi,Francesca(编辑),约束编程的原理和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20202-1/pbk)。莱克特。注释计算。科学。2833, 244-258 (2003).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cohen}等人,Lect。注释计算。科学。2833244--258(2003年;Zbl 1273.68342) 全文: 内政部
马丁·库珀。 约束满足问题中邻域替换的基本性质。 (英语) Zbl 1017.68534号 Artif公司。智力。 90,第1-2、1-24号(1997年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \文本{M.C.Cooper},Artif。智力。90,编号1--2,1--24(1997;Zbl 1017.68534) 全文: 内政部
彼得·杰文斯(Peter G.Jeavons)。;马丁·库珀。 有序域上的可追踪约束。 (英语) Zbl 1508.68132号 Artif公司。智力。 79,第2期,327-339页(1995年).MSC公司:65年第68季度 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公司:65年第68季度 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)。 以可控制约束为特征。 (英语) Zbl 0803.68053号 Artif公司。智力。 65,第2347-361号(1994年).MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Cooper}等人,Artif。智力。65,第2号,347--361(1994;Zbl 0803.68053) 全文: 内政部