Abstract
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 Miguel is supported by a UK Royal Academy of Engineering/EPSRC Fellowship. This research was supported by EPSRC Grants GR/S30580 and EP/D032636 and the EPSRC funded SymNET. We thank Peter Jeavons, Steve Linton, Iñes Lynce, Angela Miguel, Karen Petrie, Judith Underwood, and our CP reviewers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bessière, C., Régin, J.C.: Arc consistency for general constraint networks: Preliminary results. In: IJCAI, pp. 398–404 (1997)
Bessière, C.: Arc-consistency and arc-consistency again. AIJ 65(1), 179–190 (1994)
Bessière, C., Freuder, E.C., Régin, J.-C.: Using inference to reduce arc consistency computation. In: IJCAI, pp. 592–599 (1995)
Bessière, C., Régin, J.-C., Yap, R.H.C., Zhang, Y.: An optimal coarse-grained arc consistency algorithm. AIJ 165(2), 165–185 (2005)
Chai, D., Kuehlmann, A.: A fast pseudo-Boolean constraint solver. In: DAC, pp. 830–835. ACM, New York (2003)
Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004)
Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast, scalable, constraint solver. In: ECAI (2006)
Van Hentenryck, P., Carillon, J.-P.: Generality versus specificity: An experience with ai and or techniques. In: AAAI, pp. 660–664 (1988)
Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). J. Log. Program. 37(1-3), 139–164 (1998)
Hoos, H.H., Stützle, T.: SATLIB: An online resource for research on SAT. In: SAT, pp. 283–292 (2000)
Laburthe, F.: CHOCO: implementing a CP kernel. In: Workshop on Techniques for Implementing Constraint programming Systems (TRICS) (2000)
Moskewicz, M., Madigan, C., Zhao, Y., Zhang, S., Malik, S.: Chaff: Engineering an efficient SAT solver. In: DAC (2001)
Régin, J.-C.: Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 520–533. Springer, Heidelberg (2005)
Schulte, C., Stuckey, P.J.: Speeding up constraint propagation. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 619–633. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gent, I.P., Jefferson, C., Miguel, I. (2006). Watched Literals for Constraint Propagation in Minion. In: Benhamou, F. (eds) Principles and Practice of Constraint Programming - CP 2006. CP 2006. Lecture Notes in Computer Science, vol 4204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11889205_15
Download citation
DOI: https://doi.org/10.1007/11889205_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46267-5
Online ISBN: 978-3-540-46268-2
eBook Packages: Computer ScienceComputer Science (R0)