Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. MDD propagators with explanation
 
research article

MDD propagators with explanation

Gange, Graeme
•
Stuckey, Peter J.
•
Szymanek, Radoslaw
2011
Constraints

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.

  • Details
  • Metrics
Type
research article
DOI
10.1007/s10601-011-9111-x
Web of Science ID

WOS:000293957600003

Author(s)
Gange, Graeme
Stuckey, Peter J.
Szymanek, Radoslaw
Date Issued

2011

Published in
Constraints
Volume

16

Start page

407

End page

429

Subjects

Global Grammar Constraints

•

Sequence Constraint

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LIA  
Available on Infoscience
December 16, 2011
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/73710
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés