B. W. Benson and E. C. Freuder, Interchangeability preprocessing can improve forward checking search

M. Beresin, E. Levin, and J. Winn, A Chessboard Coloring Problem, The College Mathematics Journal, vol.20, issue.2, pp.106-114, 1989.
DOI : 10.2307/2686263

C. Bessière, Arc-consistency and arc-consistency again, Artificial Intelligence, vol.65, issue.1, pp.179-190, 1994.
DOI : 10.1016/0004-3702(94)90041-8

C. Bessière, E. C. Freuder, and J. Régin, Using constraint metaknowledge to reduce arc consistency computation, Artificial Intelligence, vol.107, issue.1, pp.125-148, 1999.
DOI : 10.1016/S0004-3702(98)00105-2

C. Bessière and J. Régin, Refining the basic constraint propagation algorithm, Actes de IJCAI'01, pp.309-315, 2001.

F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais, Boosting systematic search by weighting constraints, Actes de ECAI'04, pp.146-150, 2004.

M. C. Cooper, Fundamental properties of neighbourhood substitution in constraint satisfaction problems, Artificial Intelligence, vol.90, issue.1-2, pp.1-24, 1997.
DOI : 10.1016/S0004-3702(96)00018-5

R. Debruyne and C. Bessière, Domain filtering consistencies, Journal of Artificial Intelligence Research, vol.14, pp.205-230, 2001.

E. C. Freuder, Eliminating interchangeable values in constraint satisfaction problems, Actes de AAAI'91, pp.227-233, 1991.

A. Haselbock, Exploiting interchangeabilities in constraint satisfaction problems, Actes de IJCAI'93, pp.282-287, 1993.

C. Lecoutre, F. Boussemart, and F. Hemery, Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms, Actes de CP'03, pp.480-494, 2003.
DOI : 10.1007/978-3-540-45193-8_33

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

R. Mohr and T. C. 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

D. Sabin and E. Freuder, Contradicting conventional wisdom in constraint satisfaction, 1994.
DOI : 10.1007/3-540-58601-6_86

N. Sadeh and M. S. Fox, Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem, Artificial Intelligence, vol.86, issue.1, pp.1-41, 1996.
DOI : 10.1016/0004-3702(95)00098-4

M. R. Van-dongen, AC3 an efficient arc consistency algorithm with a low space complexity. Actes de CP'02, pp.755-760, 2002.

Y. Zhang and R. H. Yap, Making AC3 an optimal algorithm, Actes de IJCAI'01, pp.316-321, 2001.