MDD propagators with explanation

被引：20
|
作者：
Gange, Graeme [1 ]
Stuckey, Peter J. [1 ]
Szymanek, Radoslaw [2 ]
机构：
[1] Univ Melbourne, Natl ICT Australia, Victoria Lab, Dept Comp Sci & Software Engn, Melbourne, Vic 3010, Australia
[2] Ecole Polytech Fed Lausanne EPFL, Artificial Intelligence Lab LIA, CH-1015 Lausanne, Switzerland
来源：
CONSTRAINTS | 2011年 / 16卷 / 04期
关键词：
CONSTRAINT;
D O I：
10.1007/s10601-011-9111-x
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Multi-valued decision diagrams (MDDs) are a convenient approach to representing many kinds of constraints including table constraints, regular constraints, complex set and multiset constraints, as well as ad-hoc problem specific constraints. This paper introduces an incremental propagation algorithm for MDDs, and explores several methods for incorporating explanations with MDD-based propagators. We demonstrate that these techniques can provide significantly improved performance when solving a variety of problems.
引用
收藏
页码：407 / 429
页数：23
相关论文
共 50 条
  • [1] MDD propagators with explanation
    Graeme Gange
    Peter J. Stuckey
    Radoslaw Szymanek
    Constraints, 2011, 16
  • [2] Soft and Cost MDD Propagators
    Perez, Guillaume
    Regin, Jean-Charles
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3922 - 3928
  • [3] PROPAGATORS
    TERRALL, JR
    AMERICAN JOURNAL OF PHYSICS, 1970, 38 (12) : 1455 - &
  • [4] Propagators and their implications
    Oehrn, Yngve
    Linderberg, Jan
    MOLECULAR PHYSICS, 2010, 108 (21-23) : 2899 - 2904
  • [5] Propagators and topology
    Maas, Axel
    EUROPEAN PHYSICAL JOURNAL C, 2015, 75 (03):
  • [6] The Weinberg propagators
    Dvoeglazov, VV
    HELVETICA PHYSICA ACTA, 1997, 70 (05): : 697 - 702
  • [7] Propagators and topology
    Axel Maas
    The European Physical Journal C, 2015, 75
  • [8] On anyonic propagators
    Da Cruz, W
    PROCEEDINGS OF THE 1999 LONDRINA WINTER SCHOOL MATHEMATICAL METHODS IN PHYSICS, 2000, : 93 - 97
  • [9] Propagators in Lagrangian space
    Bernardeau, Francis
    Valageas, Patrick
    PHYSICAL REVIEW D, 2008, 78 (08):
  • [10] SERIES EXPANSION OF PROPAGATORS
    BENESI, AJ
    JOURNAL OF MAGNETIC RESONANCE SERIES A, 1993, 103 (02) : 230 - 233
12345