[6] M. Garcia de la Banda, K. Marriott, R. Rafeh, and M. Wallace. The modelling language Zinc. In *Proceedings of CP'06*, pages 700–705, 2006.

[7] R. Dechter. *Constraint processing*. Morgan Kaufmann, 2003.

[8] P. Flener, J. Pearson, and M. ˚Agren. Introducing ESRA, a relational language for modelling combinatorial problems. In *LOPSTR'03: Revised Selected Papers*, pages 214–232, 2004.

[9] A. Frisch, M. Grum, C. Jefferson, B. Martinez Hernandez, and I. Miguel.

The design of ESSENCE: A constraint language for specifying combinatorial problems. In *Proceedings of IJCAI'07*, pages 80–87, 2007.

[10] P. Van Hentenryck. *The OPL Optimization Programming Language*. The MIT Press, 1999.

[11] J. Larrosa. Node and arc consistency in weighted CSP. In *Proceedings of* AAAI'02, pages 48–53, 2002.

[12] J. Larrosa and T. Schiex. In the quest of the best form of local consistency for Weighted CSP. In *Proceedings of IJCAI'03*, pages 363–376, 2003.

[13] J.C. R´egin. A filtering algorithm for constraints of difference in CSPs. In Proceedings of AAAI'94, pages 362–367, 1994.

[14] J.C. R´egin and M. Rueher. A global constraint combining a sum constraint and difference constraints. In *Proceedings of CP'00*, pages 384–395, 2000.

[15] G. Renker and H. Ahriz. Building models through formal specification. In Proceedings of CPAIOR'04, pages 395–401, 2004.

[16] E. Tsang, P. Mills, R. Williams, J. Ford, and J. Borrett. A computer-aided constraint programming system. In *Proceedings of PACLP'99*, pages 81–93, 1999.

[17] W.J. van Hoeve. The alldifferent constraint: a survey. In *Proceedings of* the Sixth Annual Workshop of the ERCIM Working Group on Constraints, 2001.

[18] World Wide Web Consortium (W3C). *Extensible Markup Language (XML)*.

http://www.w3.org/XML/, 1997.

[19] J. Zhou. Introduction to the constraint language NCL. Journal of Logic Programming, 45(1-3):71–103, 2000.