[15] Warwick Harvey and Peter J. Stuckey. Improving linear constraint propagation by changing constraint representation. *Constraints*, 7:173–207, 2003.

[16] Peter Hawkins, Vitaly Lagoon, and Peter J. Stuckey. Solving set constraint satisfaction problems using ROBDDs. *Journal of Artificial Intelligence Research*,
24:109–156, 2005.

[17] ILOG Solver, part of ILOG CP. **www.ilog.com/products/cp**, 2009.

[18] Franc¸ois Laburthe. Choco: Implementing a CP kernel. In Nicolas Beldiceanu, Warwick Harvey, Martin Henz, Franc¸ois Laburthe, Eric Monfroy, Tobias M¨uller, Laurent Perron, and Christian Schulte, editors, Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, pages 71–85, September 2000.

[19] Mikael Z. Lagerkvist and Gilles Pesant. Modeling irregular shape placement problems with regular constraints. In *First Workshop on Bin Packing and Placement Constraints BPPC'08*, 2008.

[20] Mikael Z. Lagerkvist and Christian Schulte. Propagator groups. In Gent [11]. To appear.

[21] Alan Mackworth. Consistency in networks of relations. *Artificial Intelligence*,
8(1):99–118, 1977.

[22] Robin Milner, Mads Tofte, and David MacQueen. *The Definition of Standard* ML. MIT Press, Cambridge, MA, USA, 1997.

[23] The Mozart programming system. **www.mozart-oz.org**, 2009.

[24] Simon L. Peyton Jones. Haskell 98. *Journal of Functional Programming*, 13(1),
2003.

[25] Jean-Fran¸cois Puget. PECOS: A high level constraint programming language. In Proceedings of the first Singapore international conference on Intelligent Systems
(SPICIS), pages 137–142, Singapore, 1992.

[26] Jean-Franc¸ois Puget. A fast algorithm for the bound consistency of alldiff constraints. In *Proceedings of the 15th National Conference on Artificial Intelligence*,
pages 359–366, Madison, WI, USA, July 1998. AAAI Press.

[27] Jean-Franc¸ois Puget. A C++ implementation of CLP. In *Proceedings of the Second Singapore International Conference on Intelligent Systems (SPICIS)*, pages B256–B261, Singapore, November 1994.

[28] Claude-Guy Quimper. *Efficient Propagators for Global Constraints*. PhD thesis, University of Waterloo, Canada, 2006.

[29] Jean-Charles R´egin and Michel Rueher, editors. *Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems*,
volume 3011 of *LNCS*, Nice, France, April 2004. Springer.

[30] Jean-Charles RA˜ c gin. A filtering algorithm for constraints of difference in CSPs. In *Proceedings of the Twelfth National Conference on Artificial Intelligence*, pages 362–367, Seattle, WA, USA, 1994. AAAI Press.