F. Bacchus, X. Chen, P. V. Beek, and T. Walsh, Binary vs. non-binary constraints??????This paper includes results that first appeared in [1,4,23]. This research has been supported in part by the Canadian Government through their NSERC and IRIS programs, and by the EPSRC Advanced Research Fellowship program., Artificial Intelligence, vol.140, issue.1-2, pp.1-37, 2002.
DOI : 10.1016/S0004-3702(02)00210-2

C. Bessiere, Handbook of Constraint Programming, chap. Constraint Propagation, 2006.

R. Debruyne and C. Bessì-ere, From restricted path consistency to max-restricted path consistency, Principles and Practice of Constraint Programming
DOI : 10.1007/BFb0017448

R. Debruyne and C. Bessì-ere, Some Practicable Filtering Techniques for the Constraint Satisfaction Problem, Proceedings of the 15 th International Joint Conference on Artificial Intelligence, pp.412-417, 1997.

R. Debruyne and C. Bessì-ere, Domain Filtering Consistencies, Journal of Artificial Intelligence Research, vol.14, pp.205-230, 2001.

R. Dechter, Constraint Processing, 2003.

E. C. Freuder, A Sufficient Condition for Backtrack-Free Search, Journal of the ACM, vol.29, issue.1, pp.24-32, 1982.
DOI : 10.1145/322290.322292

E. C. Freuder and C. D. Elfe, Neighborhood Inverse Consistency Preprocessing, Proceedings of AAAI-96, pp.202-208, 1996.

M. C. Golumbic, Algorithmic Graph Theory and Perfect Graphs, annals of Discrete Mathematics, 2004.

P. Janssen, P. Jégou, B. Nougier, and M. C. Vilarem, A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representation, [Proceedings 1989] IEEE International Workshop on Tools for Artificial Intelligence, pp.420-427, 1989.
DOI : 10.1109/TAI.1989.65349

S. Karakashian, R. Woodward, C. Reeson, B. Y. Choueiry, and C. Bessiere, A First Practical Algorithm for High Levels of Relational Consistency, 24 th AAAI Conference on Artificial Intelligence (AAAI 10, pp.101-107, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-00558132

U. Kjaerulff, Triagulation of Graphs -Algorithms Giving Small Total State Space, 1990.

C. Lecoutre, S. Cardon, and J. Vion, Conservative Dual Consistency, Proceedings of AAAI-2007, pp.237-242, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00194544

C. Lecoutre, S. Cardon, and J. Vion, Second-Order Consistencies, Journal of Artificial Intelligence Research, vol.40, pp.175-219, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00868193

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

D. Sabin and E. C. Freuder, Contradicting conventional wisdom in constraint satisfaction, Proceedings of the 11 th European Conference on Artificial Intelligence, pp.125-129, 1994.
DOI : 10.1007/3-540-58601-6_86

R. Woodward, S. Karakashian, B. Y. Choueiry, and C. Bessiere, Solving Difficult CSPs with Relational Neighborhood Inverse Consistency, th AAAI Conference on Artificial Intelligence (AAAI 11, pp.25-112, 2011.
DOI : 10.1007/978-3-642-33558-7_50

URL : https://hal-lirmm.ccsd.cnrs.fr/lirmm-00748179/document