Properties and characterizations of k-trees, Mathematika, vol.15, issue.01, pp.141-151, 1971. ,
DOI : 10.1016/S0021-9800(69)80119-5
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
Efficient Algorithms for Singleton Arc Consistency, Constraints, 2010. ,
Optimal and suboptimal singleton arc consistency algorithms, Proceedings of IJCAI, pp.54-59, 2005. ,
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
An optimal k-consistency algorithm, Artificial Intelligence, vol.41, issue.1, pp.89-95, 1989. ,
DOI : 10.1016/0004-3702(89)90080-5
Constraint processing, 2003. ,
Synthesizing constraint expressions, Communications of the ACM, vol.21, issue.11, pp.958-966, 1978. ,
DOI : 10.1145/359642.359654
A Sufficient Condition for Backtrack-Free Search, Journal of the ACM, vol.29, issue.1, pp.24-32, 1982. ,
DOI : 10.1145/322290.322292
Neighborhood inverse consistency preprocessing, Proceedings of AAAI, pp.202-208, 1996. ,
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
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
A study of residual supports in arc consistency, Proceedings of IJ- CAI, pp.125-130, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00261267
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
Handbook of Constraint Programming, 2006. ,
A Generic Customizable Framework for Inverse Local Consistency, Proceedings of AAAI, pp.169-174, 1999. ,