Sciweavers

Share
CP
2006
Springer

Watched Literals for Constraint Propagation in Minion

10 years 3 months ago
Watched Literals for Constraint Propagation in Minion
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the satisfiability community, can be used to provide highly efficient implementations of constraint propagators. We describe three important aspects of watched literals as we apply them to constraints, and how they are implemented in the Minion constraint solver. We show three successful applications of to constraint propagators: the sum of Boolean variables; GAC for the `element' constraint; and GAC for the `table' constraint.
Ian P. Gent, Christopher Jefferson, Ian Miguel
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where CP
Authors Ian P. Gent, Christopher Jefferson, Ian Miguel
Comments (0)
books