T. Balafoutis and K. Stergiou, Evaluating and improving modern variable and revision ordering strategies in CSPs, Fundam. Inform, vol.102, pp.3-4229, 2010.

N. Beldiceanu, M. Carlsson, and J. Rampon, Global constraint catalog, SICS, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00485396

N. Beldiceanu and E. Contejean, Introducing global constraints in CHIP, Mathematical and Computer Modelling, vol.20, issue.12, pp.97-123, 1994.
DOI : 10.1016/0895-7177(94)90127-9
URL : https://hal.archives-ouvertes.fr/hal-00442810

C. Bessière, G. Katsirelos, N. Narodytska, and T. Walsh, Circuit complexity and decompositions of global constraints, Proc. IJCAI'09, pp.412-418, 2009.

C. Bessière and J. Régin, AC for General Constraint Networks : Preliminary Results, Proc. IJCAI'97, pp.398-404, 1997.

C. Bessière, J. Régin, R. H. Yap, and Y. Zhang, An optimal coarse-grained arc consistency algorithm, Artificial Intelligence, vol.165, issue.2, pp.165-185, 2005.
DOI : 10.1016/j.artint.2005.02.004

F. Boussemart, F. Hemery, C. Lecoutre, and L. Saïs, Boosting systematic search by weighting constraints, Proc. of ECAI'04, pp.146-150, 2004.

F. Boussemart, F. Hemery, and C. Lecoutre, Revision ordering heuristics for the CSP, Proc. CPAI'04 workshop held with CP'04, pp.29-43, 2004.

M. L. Fredman and R. E. Tarjan, Fibonacci heaps and their uses in improved network optimization algorithms, Journal of the ACM, vol.34, issue.3, pp.596-615, 1987.
DOI : 10.1145/28869.28874

I. P. Gent, C. Jefferson, and I. Miguel, Minion : A Fast, Scalable, Constraint Solver, Proceedings of ECAI'06, pp.98-102, 2006.

F. Laburthe, CHOCO : Implementing a CP kernel, Proc. of the TRICS'2000 workshop held with CP'2000, pp.71-85, 2000.

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

M. K. Lagerkvist and C. Schulte, Propagator Groups, Proc. of CP'2009, pp.524-538, 2000.
DOI : 10.1007/3-540-61708-6_78

C. Lecoutre, STR2: optimized simple tabular reduction for table constraints, Constraints, vol.171, issue.8???9, pp.341-371, 2011.
DOI : 10.1007/s10601-011-9107-6
URL : https://hal.archives-ouvertes.fr/hal-00868225

C. Lecoutre and F. Hemery, A Study of Residual Supports in Arc Consistency, Proceedings of IJCAI'2007, pp.125-130, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00261267

C. Lecoutre and J. Vion, Enforcing Arc Consistency using Bitwise Operations, Constraint Programming Letters, vol.2, pp.21-35, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00868075

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

A. K. Mackworth, Consistency in networks of relations, Consistency in Networks of Relations, 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

S. Merchez, C. Lecoutre, and F. Boussemart, AbsCon: A Prototype to Solve CSPs with Abstraction, Proceedings of CP'01, pp.730-744, 2001.
DOI : 10.1007/3-540-45578-7_59

C. Schulte, Generic Constraint Development Environment (Gecode) http://www.gecode. org, pp.2005-2010

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

M. Van-dongen, C. Lecoutre, and O. , Rous- sel. Third International CSP Solvers Competition, 2008.

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

J. Vion, Constraint Satisfaction Problem for Java, pp.2006-2012

J. Vuillemin, A data structure for manipulating priority queues, Communications of the ACM, vol.21, issue.4, pp.309-314, 1978.
DOI : 10.1145/359460.359478

R. J. Wallace and E. C. Freuder, Ordering Heuristics for Arc Consistency Algorithms, Proceedings of NCCAI'92, pp.163-169, 1992.