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 条
12345