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 条
  • [31] Gauges, propagators, and physics
    Maas, Axel
    IX INTERNATIONAL CONFERENCE ON QUARK CONFINEMENT AND THE HADRON SPECTRUM (QCHS IX), 2011, 1343 : 182 - 184
  • [32] MEMORY FUNCTIONS AND PROPAGATORS
    SZOCS, V
    BARVIK, I
    CZECHOSLOVAK JOURNAL OF PHYSICS, 1983, 33 (06) : 674 - 685
  • [33] CONSISTENCY CONDITION FOR PROPAGATORS
    IWASAKI, Y
    PHYSICAL REVIEW D, 1970, 2 (10): : 2255 - &
  • [34] PROPAGATORS ON CURVED SPACES
    SHEEKS, B
    DEWITTMORETTE, C
    BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1978, 23 (04): : 585 - 585
  • [35] MODIFIED NUCLEON PROPAGATORS
    MITRA, AN
    PHYSICAL REVIEW, 1954, 95 (06): : 1697 - 1698
  • [36] Nonlinear operators and their propagators
    Schwartz, C
    JOURNAL OF MATHEMATICAL PHYSICS, 1997, 38 (01) : 484 - 500
  • [37] The MDD debate goes on
    Dietrich, B
    IEEE SOFTWARE, 2004, 21 (03) : 10 - 10
  • [38] ''Standard of care'' for MDD
    Klemm, AL
    Carlson, JS
    Johnston, H
    Kolden, GG
    Fruehling, JJ
    JOURNAL OF THE AMERICAN ACADEMY OF CHILD AND ADOLESCENT PSYCHIATRY, 1997, 36 (08): : 1016 - 1017
  • [39] Perfect Derived Propagators
    Schulte, Christian
    Tack, Guido
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2008, 5202 : 571 - 575
  • [40] Weakly Monotonic Propagators
    Schulte, Christian
    Tack, Guido
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2009, 5732 : 723 - +
12345