N. Beldiceanu, Global constraints as graph properties on a structured network of elementary constraints of the same type, Proceedings CP, pp.52-66, 2000.

. Choco, A Java library for constraint satisfaction problems, constraint programming and explanation-based constraint solving, 2005.

S. Colton and I. Miguel, Constraint generation via automated theory formation, Proceedings CP, pp.575-579, 2001.

A. M. Frisch, C. Jefferson, B. M. Hernandez, and I. Miguel, The rules of constraint modelling, Proceedings IJCAI, 2005.

J. F. Puget, Constraint programming next challenge: Simplicity of use, Proceedings CP, pp.5-8, 2004.

J. Régin, Generalized arc consistency for global cardinality constraint, Proceedings AAAI, pp.209-215, 1996.

B. Smith, K. Stergiou, and T. Walsh, Modelling the golomb ruler problem, Proceedings IJCAI'99 workshop on non-binary constraints, 1999.