A. K. Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

J. J. Mcgregor, Relational consistency algorithms and their application in finding subgraph and graph isomorphisms, Information Sciences, vol.19, issue.3, pp.229-250, 1979.
DOI : 10.1016/0020-0255(79)90023-9

R. Mohr and T. Henderson, Arc and path consistency revisited, Artificial Intelligence, vol.28, issue.2, pp.225-233, 1986.
DOI : 10.1016/0004-3702(86)90083-4

URL : https://hal.archives-ouvertes.fr/inria-00548487

P. Van-hentenryck, Y. Deville, and C. Teng, A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, issue.2-3, pp.291-321, 1992.
DOI : 10.1016/0004-3702(92)90020-X

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, PLILP '97, pp.191-206, 1997.
DOI : 10.1007/BFb0033845

F. Laburthe, Choco: Implementing a CP kernel, TRICS, pp.71-85, 2000.

A. Van-deursen, P. Klint, and J. , Visser Domain-specific languages: an annotated bibliography, In SIGPLAN Not, pp.26-36, 2000.

A. López-ortiz, C. Quimper, J. Tromp, and P. Van-beek, A fast and simple algorithm for bounds consistency of the alldifferent constraint, IJCAI, pp.245-250, 2003.

F. Boussemart, F. Hemery, and C. Lecoutre, Revision ordering heuristics for the constraint satisfaction problem, CP'04, pp.9-43, 2004.

C. Bessiere, Constraint Propagation, LIRMM, 2006.
DOI : 10.1016/S1574-6526(06)80007-6

URL : https://hal.archives-ouvertes.fr/lirmm-00117128

I. P. Gent, C. Jefferson, and I. Miguel, Minion: A fast scalable constraint solver, Proceedings of ECAI 2006, pp.98-102, 2006.

I. P. Gent, C. Jefferson, and I. Miguel, Watched Literals for Constraint Propagation in Minion, Procedings CP 2006, pp.182-197, 2006.
DOI : 10.1007/11889205_15

M. Z. Lagerkvist and C. Schulte, Advisors for Incremental Propagation, CP 2007, pp.409-422, 2007.
DOI : 10.1007/978-3-540-74970-7_30

I. P. Gent, I. Miguel, and P. Nightingale, Generalised arc consistency for the AllDifferent constraint: An empirical survey, Artificial Intelligence, vol.172, issue.18, pp.1973-2000, 2008.
DOI : 10.1016/j.artint.2008.10.006

C. Schulte and P. J. Stuckey, Efficient constraint propagation engines, ACM Transactions on Programming Languages and Systems, vol.31, issue.1, 2008.
DOI : 10.1145/1452044.1452046

URL : http://arxiv.org/abs/cs/0611009

M. Z. Lagerkvist and C. Schulte, Propagator Groups, pp.524-538, 2009.
DOI : 10.1007/3-540-61708-6_78

C. Schulte and G. Tack, Implementing efficient propagation control, 2010.

I. P. Gent and T. Walsh, CSPlib: A Benchmark Library for Constraints, pp.9-1999, 1999.
DOI : 10.1007/978-3-540-48085-3_36

N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck et al., Tack MiniZinc: Towards a standard CP modelling language, CP'07, pp.529-543, 2007.

. Gecode, Generic Constraint Development Environment, 2012.

. Jacop, or-Tools: Operations Research Tools developed at Google. http://code.google.com, p.2012