MDD propagators with explanation

Graeme Gange; Peter J. Stuckey; Radoslaw Szymanek

doi:10.1007/s10601-011-9111-x

MDD propagators with explanation

Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek

Research output: Contribution to journal › Article › Research › peer-review

26 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	407-429
Number of pages	23
Journal	Constraints
Volume	16
Issue number	4
DOIs	https://doi.org/10.1007/s10601-011-9111-x
Publication status	Published - 1 Oct 2011
Externally published	Yes

Access to Document

10.1007/s10601-011-9111-x

Cite this

@article{2e2f0e89baf241789883d0e8f8f0903b,

title = "MDD propagators with explanation",

abstract = "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.",

author = "Graeme Gange and Stuckey, {Peter J.} and Radoslaw Szymanek",

year = "2011",

month = oct,

day = "1",

doi = "10.1007/s10601-011-9111-x",

language = "English",

volume = "16",

pages = "407--429",

journal = "Constraints",

issn = "1383-7133",

publisher = "Springer-Verlag London Ltd.",

number = "4",

}

TY - JOUR

T1 - MDD propagators with explanation

AU - Gange, Graeme

AU - Stuckey, Peter J.

AU - Szymanek, Radoslaw

PY - 2011/10/1

Y1 - 2011/10/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=80052963494&partnerID=8YFLogxK

U2 - 10.1007/s10601-011-9111-x

DO - 10.1007/s10601-011-9111-x

M3 - Article

AN - SCOPUS:80052963494

SN - 1383-7133

VL - 16

SP - 407

EP - 429

JO - Constraints

JF - Constraints

IS - 4

ER -

MDD propagators with explanation

Abstract

Access to Document

Other files and links

Cite this