]. C. Bes94 and . Bessì-ere, Arc-consistency and arc-consistency again, Artificial Intelligence, vol.65, pp.179-190, 1994.

C. Bessì-ere, E. C. Freuder, and J. C. Régin, Using inference to reduce arc consistency computation, Proceedings IJCAI'95, pp.592-598, 1995.

E. [. Bessì-ere, J. C. Freuder, and . 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

J. [. Bessì-ere and . Régin, Arc consistency for general constraint networks: preliminary results, Proceedings IJCAI'97, pp.398-404, 1997.

J. [. Bessì-ere and . Régin, Refining the basic constraint propagation algorithm, Proceedings IJCAI'01, pp.309-315, 2001.

+. Cdgl, ]. C. Cabon, S. De-givry, L. Lobjois, T. Schiex et al., Radio link frequency assignment, Constraints, vol.4, pp.79-89, 1999.

P. [. Chmeiss and . Jégou, EFFICIENT PATH-CONSISTENCY PROPAGATION, International Journal on Artificial Intelligence Tools, vol.07, issue.02, pp.121-142, 1998.
DOI : 10.1142/S0218213098000081

J. [. Dechter and . Pearl, Network-based heuristics for constraint-satisfaction problems, Artificial Intelligence, vol.34, issue.1, pp.1-38, 1988.
DOI : 10.1016/0004-3702(87)90002-6

C. [. Frost, R. Bessì-ere, J. C. Dechter, and . Régin, Random uniform csp generators Experimental case studies of backtrack vs waltz-type vs new algorithms for satisficing assignment problems, Proceedings CCSCSI'78, pp.268-277, 1978.

. P. Gmp-+-97-]-i, E. Gent, P. Macintyre, P. Prosser, T. Shaw et al., The constrainedness of arc consistency, Proceedings CP'97, pp.327-340, 1997.

]. F. Lab00 and . Laburthe, User's manual. CHOCO, 0, 2000.

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

]. A. Mac77a and . Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, pp.99-118, 1977.

]. A. Mac77b and . Mackworth, On reading sketch maps, Proceedings IJCAI'77, pp.598-606, 1977.

]. J. Mcg79 and . Mcgregor, Relational consistency algorithms and their application in finding subgraph and graph isomorphism, Information Science, vol.19, pp.229-250, 1979.

A. K. Mackworth and E. C. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, vol.25, issue.1, pp.65-74, 1985.
DOI : 10.1016/0004-3702(85)90041-4

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

G. [. Mohr and . Masini, Good old discrete relaxation, Proceedings ECAI'88, pp.651-656, 1988.
URL : https://hal.archives-ouvertes.fr/inria-00548479

]. M. Per92 and . Perlin, Arc consistency for factorable relations, Artificial Intelligence, vol.53, pp.329-342, 1992.

]. P. Pro96 and . Prosser, An empirical study of phase transition in binary constraint satisfaction problems, Artificial Intelligence, vol.81, issue.12, pp.81-109, 1996.

[. Sabin and E. Freuder, Contradicting conventional wisdosdom in constraint satisfaction, Proceedings of the Second Workshop on Principles and Practice of Constraint Programming, pp.10-20, 1994.

M. Singh, Path consistency revisited, Int. Journal on Art. Intelligence Tools, vol.6, issue.1&2, pp.127-141, 1996.

Y. [. Van-hentenryck, C. M. Deville, . J. Tengwal93-]-r, and . Wallace, A generic arc-consistency algorithm and its specializations, Proceedings IJCAI'93, pp.291-321, 1992.
DOI : 10.1016/0004-3702(92)90020-X

E. [. Wallace and . Freuder, Ordering heuristics for arc consistency algorithms, Proceedings Ninth Canadian Conference on Artificial Intelligence, pp.163-169, 1992.

R. [. Zhang and . Yap, Arc consistency on n-ary monotonic and linear constraints, Proceedings CP'00, pp.470-483, 2000.

R. [. Zhang and . Yap, Making AC-3 an optimal algorithm, Proceedings IJCAI'01, pp.316-321, 2001.