Tree clustering for constraint networks, Artificial Intelligence, vol.38, issue.3 ,
DOI : 10.1016/0004-3702(89)90037-4
A comparison of structural CSP decomposition methods, Artificial Intelligence, vol.124, issue.2 ,
DOI : 10.1016/S0004-3702(00)00078-3
Computing and Exploiting Tree-Decompositions for Solving Constraint Networks, Proceedings of CP, p.777781, 2005. ,
DOI : 10.1007/11564751_63
Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes, Actes des JFPC'2005, p.149158, 2005. ,
Heuristiques pour la recherche énumérative bornée : Vers une libération de l'ordre, Laboratoire des Sciences de l'Information et des Systèmes (LSIS), 2006. ,
Hybrid backtracking bounded by tree-decomposition of constraint networks, Artificial Intelligence, vol.146, issue.1, p.4375, 2003. ,
DOI : 10.1016/S0004-3702(02)00400-9
Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition, Proceedings of ICTAI, pp.542-548, 2004. ,
Graph minors. II. Algorithmic aspects of tree-width, Journal of Algorithms, vol.7, issue.3, p.309322, 1986. ,
DOI : 10.1016/0196-6774(86)90023-4
URL : http://doi.org/10.1006/jctb.1999.1919
The Phase Transition and the Mushy Region in Constraint Satisfaction Problems, Proceedings of ECAI, p.100104, 1994. ,