L. Beineke and R. Pippert, Properties and characterizations of k-trees, Mathematika, vol.15, issue.01, pp.141-151, 1971.
DOI : 10.1016/S0021-9800(69)80119-5

C. Bessiere, F. Rossi, P. Van-beek, and T. Walsh, Constraint Propagation, Handbook of Constraint Programming, pp.29-83, 2006.
DOI : 10.1016/S1574-6526(06)80007-6

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

C. Bessì-ere, S. Cardon, R. Debruyne, and C. Lecoutre, Efficient Algorithms for Singleton Arc Consistency, Constraints, 2010.

C. Bessì-ere and R. Debruyne, Optimal and suboptimal singleton arc consistency algorithms, Proceedings of IJCAI, pp.54-59, 2005.

C. Bessì-ere, 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

M. C. Cooper, An optimal k-consistency algorithm, Artificial Intelligence, vol.41, issue.1, pp.89-95, 1989.
DOI : 10.1016/0004-3702(89)90080-5

R. Dechter, Constraint processing, 2003.

E. Freuder, Synthesizing constraint expressions, Communications of the ACM, vol.21, issue.11, pp.958-966, 1978.
DOI : 10.1145/359642.359654

E. 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. Freuder and C. D. Elfe, Neighborhood inverse consistency preprocessing, Proceedings of AAAI, pp.202-208, 1996.

G. Gottlob, N. Leone, and F. Scarcello, A comparison of structural CSP decomposition methods, Artificial Intelligence, vol.124, issue.2, pp.343-282, 2000.
DOI : 10.1016/S0004-3702(00)00078-3

P. Jégou and C. Terrioux, Hybrid backtracking bounded by tree-decomposition of constraint networks, Artificial Intelligence, vol.146, issue.1, pp.43-75, 2003.
DOI : 10.1016/S0004-3702(02)00400-9

C. Lecoutre and F. Hemery, A study of residual supports in arc consistency, Proceedings of IJ- CAI, pp.125-130, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00261267

N. Robertson and P. D. Seymour, Graph minors. II. Algorithmic aspects of tree-width, Journal of Algorithms, vol.7, issue.3, pp.309-322, 1986.
DOI : 10.1016/0196-6774(86)90023-4

F. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming, 2006.

G. Verfaillie, D. Martinez, and C. Bessì-ere, A Generic Customizable Framework for Inverse Local Consistency, Proceedings of AAAI, pp.169-174, 1999.