DMCA
Watched literals for constraint propagation in minion (2006)
Cached
Download Links
| Venue: | In Proc. CP2006, 182–197 |
| Citations: | 41 - 14 self |
BibTeX
@INPROCEEDINGS{Gent06watchedliterals,
author = {Ian P. Gent and Chris Jefferson and Ian Miguel},
title = {Watched literals for constraint propagation in minion},
booktitle = {In Proc. CP2006, 182–197},
year = {2006},
pages = {182--197},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the propositional satisfiability community, can also be used to provide highly efficient implementations of constraint propagators. We describe in detail three important aspects of watched literals as we apply them to constraints, and we describe how they are implemented in the Minion constraint solver. We show three successful applications of watched literals to constraint propagators: the sum of boolean variables; generalised arc consistency for the ‘element ’ constraint; and generalised arc consistency for the ‘table ’ constraint. 1
Keyphrases
watched literal constraint propagation arc consistency efficient implementation boolean variable important aspect propositional satisfiability community table constraint great success constraint propagator efficient constraint propagation constraint solver successful application element constraint minion constraint solver
