×
纪尧姆·佩雷斯；雷金、珍妮·查尔斯

MDD是高效的建模工具：是一些统计约束的应用程序。 （英语） Zbl 1489.68257号

Salvagnin，Domenico（编辑）等人，《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10335, 30-40 (2017).
摘要：我们表明，从著名的MDD（如建模和的MDD）和MDD之间的操作中，我们可以定义一些复杂约束的有效传播器，如值满足正规律的加权和。这样，我们就避免了定义特殊过滤算法。我们将这一思想应用于不同的离散约束，并引入一个新的统计约束：概率质量函数约束。我们在一个真实的应用程序上试验了这种方法。MDD的结合明显优于所有以前的方法。
有关整个系列，请参见[Zbl 1364.68017号].

引用于4文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

软件：

CSPLib数据库
PDF格式BibTeX公司 XML格式引用
\textit{G.Perez}和\textit{J.-C.Régin}，莱克特。票据计算。科学。10335，30--40（2017；Zbl 1489.68257）
全文： 内政部

参考文献：

[1] CSPLIB的问题30。网址：www.csplib.org
[2] Andersen，H.R.、Hadzic，T.、Hooker，J.N.、Tiedemann，P.：基于多值决策图的约束存储。收录：Bessière，C.（编辑）CP 2007。LNCS，第4741卷，第118-132页。斯普林格，海德堡（2007）。数字对象标识：10.1007/978-3-540-74970-7_11 ·Zbl 05318811号 ·doi:10.1007/978-3-540-74970-7_11
[3] Beldiceanu，N.、Carlsson，M.、Demassey，S.、Petit，T.：全球约束目录：过去、现在和未来。限制12（1），21–62（2007）·兹比尔1128.68092 ·doi:10.1007/s10601-006-9010-8
[4] Bergman，D.，Hoeve，W.-J.，Hooker，J.N.：为组合优化操作MDD松弛。摘自：Achterberg，T.，Beck，J.C.（编辑）CPAIOR 2011。LNCS，第6697卷，第20-35页。斯普林格，海德堡（2011）。数字对象标识：10.1007/978-3-642-21311-3_5 ·Zbl 1302.90166号 ·doi:10.1007/978-3642-21311-3-5
[5] Bessiere，C.，Hebrard，E.，Katsirelos，G.，Kiziltan，Z.，Picard-Cantin，E。，Quimper，C.-G.，Walsh，T.：平衡约束家族。收录：O'Sullivan，B.（编辑）CP 2014。LNCS，第8656卷，第174-189页。查姆施普林格（2014）。数字对象标识：10.1007/978-3-319-10428-7_15 ·兹伯利06461411 ·doi:10.1007/978-3-319-10428-7_15
[6] Bryant，R.E.：布尔函数操作的基于图形的算法。IEEE传输。计算。C 35（8），677–691（1986）·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[7] Cheng，K.，Yap，R.：基于mdd的广义弧一致性算法，用于正负表约束和一些全局约束。约束条件15，265–304（2010）·Zbl 1204.68188号 ·doi:10.1007/s10601-009-9087-y
[8] Demassey，S.、Pesant，G.、Rousseau，L.-M.：基于成本-规则的混合柱生成方法。约束11（4），315–333（2006）·Zbl 1117.90066号 ·doi:10.1007/s10601-006-9003-7
[9] Gange，G.，Stuckey，P.，Szymanek，R.：MDD传播者及其解释。限制16，407–429（2011）·Zbl 1241.90066号 ·doi:10.1007/s10601-011-9111-x
[10] Hadzic，T.、Hooker，J.N.、O'Sullivan，B.、Tiedemann，P.：将约束近似编译为多值决策图。收录：Stuckey，P.J.（编辑）CP 2008。LNCS，第5202卷，第448-462页。施普林格，海德堡（2008）。数字对象标识：10.1007/978-3-540-85958-1_30 ·兹伯利05372896 ·数字对象标识代码：10.1007/978-3-540-85958-1_30
[11] Hoda，S.、Hoeve，W.-J.、Hooker，J.N.：基于MDD的约束编程的系统方法。收录：Cohen，D.（编辑）CP 2010。LNCS，第6308卷，第266-280页。施普林格，海德堡（2010）。数字对象标识：10.1007/978-3-642-15396-9_23·Zbl 05803733号 ·doi:10.1007/978-3-642-15396-9_23
[12] W.D.Pennington：水库地球物理。66(1), 25–30 (2001) ·数字对象标识代码：10.1190/1.1444903
[13] Perez，G.，Régin，J.-C.：改进表和MDD约束的GAC-4。收录：O'Sullivan，B.（编辑）CP 2014。LNCS，第8656卷，第606–621页。查姆施普林格（2014）。数字对象标识：10.1007/978-3-319-10428-7_44 ·Zbl 06461440号 ·doi:10.1007/978-3-319-10428-7_44
[14] Perez，G.，Régin，J-C.：构建约束编程模型的MDD上的高效操作。在：国际人工智能联合会议，2015年国际人工智能联合会，阿根廷，第374–380页（2015）
[15] Perez，G.，Régin，J.-C.：软成本MDD传播者。致：2017年AAAI会议记录（2017）
[16] Pesant，G.，Régin，J.-C.：传播：基于统计的平衡约束。摘自：Beek，P.（编辑）CP 2005。LNCS，第3709卷，第460-474页。斯普林格，海德堡（2005）。数字对象标识：10.1007/11564751_35 ·Zbl 1153.68475号 ·doi:10.1007/11564751-35
[17] Pesant，G.：实现分散约束的域一致性和计数解决方案。信息J.计算。27(4), 690–703 (2015) ·兹比尔1338.90352 ·doi:10.1287/ijoc.2015.0654
[18] Régin，J.-C.：全局基数约束的广义弧一致性。摘自：俄勒冈州波特兰市1996年AAAI会议记录，第209-215页（1996）
[19] Rossi，R.，Prestwich，S.D.，Armagan塔里木，S.：统计约束。In:ECAI 2014–第21届欧洲人工智能会议，捷克共和国布拉格-包括智能系统的著名应用（PAIS 2014），2014年8月18日至22日，第777–782页（2014）·Zbl 1366.68273号
[20] Roy，P.，Perez，G.，Régin，J.-C.，Papadopoulos，A.，Pachet，F.，Marchini，M.：在时间序列上实施结构：艾伦约束。收录人：Rueher，M.（编辑）CP 2016。LNCS，第9892卷，第786–801页。查姆施普林格（2016）。数字对象标识：10.1007/978-3-319-44953-1_49 ·doi:10.1007/978-3-319-44953-149
[21] Schaus，P.、Deville，Y.、Dupont，P.和Régin，J.-C.：偏差约束。摘自：Hentenryck，P.，Wolsey，L.（编辑）CPAIOR 2007。LNCS，第4510卷，第260-274页。斯普林格，海德堡（2007）。数字对象标识：10.1007/978-3-540-72397-4_19 ·Zbl 1214.90104号 ·doi:10.1007/978-3-540-72397-4_19
[22] Schaus，P.、Deville，Y.、Dupont，P.和Régin，J.-C.：SPREAD约束的简化和扩展。《约束编程的未来和趋势》，第95-99页。ISTE（2007）
[23] Schaus，P.、Régin，J.-C.：边界一致扩散约束2（3）（2014）
[24] Schaus，P.，Deville，Y.，Dupont，P.：有界一致偏差约束。收录：Bessière，C.（编辑）CP 2007。LNCS，第4741卷，第620-634页。斯普林格，海德堡（2007）。数字对象标识：10.1007/978-3-540-74970-7_44 ·Zbl 05318844号 ·doi:10.1007/978-3-540-74970-7_44
[25] Trick，M.：背包约束一致性和传播的动态编程方法。CPAIOR 2001（2001）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。