On forward checking for non-binary constraint satisfaction, Artificial Intelligence, vol.141, issue.1-2, pp.205-224, 2002. ,
DOI : 10.1016/S0004-3702(02)00263-1
A generalization of chordal graphs and the maximum clique problem, Information Processing Letters, vol.62, issue.2, pp.111-120, 1997. ,
DOI : 10.1016/S0020-0190(97)00044-6
A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure, Proceedings of CP 2003, pp.807-811, 2003. ,
Characterising tractable constraints, Artificial Intelligence, vol.65, issue.2, pp.347-361, 1994. ,
DOI : 10.1016/0004-3702(94)90021-3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.80
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination, Artificial Intelligence, vol.174, issue.9-10, pp.570-584, 2010. ,
DOI : 10.1016/j.artint.2010.03.002
Tree clustering for constraint networks, Artificial Intelligence, vol.38, issue.3, pp.353-366, 1989. ,
DOI : 10.1016/0004-3702(89)90037-4
On the maximum number of cliques in a graph embedded in a surface, European Journal of Combinatorics, vol.32, issue.8, pp.321244-1252, 2011. ,
DOI : 10.1016/j.ejc.2011.04.001
A Sufficient Condition for Backtrack-Free Search, Journal of the ACM, vol.29, issue.1, pp.24-32, 1982. ,
DOI : 10.1145/322290.322292
Algorithmic Graph Theory and Perfect Graphs, A Comparison of Structural CSP Decomposition Methods. Artificial Intelligence, vol.124, pp.343-282, 1980. ,
Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence, vol.14, issue.3, pp.263-313, 1980. ,
DOI : 10.1016/0004-3702(80)90051-X
Decomposition of Domains Based on the Micro-Structure of Finite Constraint Satisfaction Problems, Proceedings of AAAI 93, pp.731-736, 1993. ,
On cliques in graphs, Israel Journal of Mathematics, vol.3, issue.1, pp.23-28, 1965. ,
DOI : 10.1007/BF02760024
Polynomial restrictions of SAT: What can be done with an efficient implementation of the Davis and Putnam's procedure?, Proc. International Conference on Principles of Constraint Programming, pp.515-532, 1995. ,
DOI : 10.1007/3-540-60299-2_31
Complexity results on graphs with few cliques, Discrete Mathematics and Theoretical Computer Science, vol.9, pp.127-136, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00966509
On the equivalence of constraint satisfaction problems, Proceedings of the 9th European Conference on Artificial Intelligence, pp.550-556, 1990. ,
Handbook of Constraint Programming, 2006. ,
Contradicting conventional wisdom in constraint satisfaction, Proc. of ECAI, pp.125-129, 1994. ,
DOI : 10.1007/3-540-58601-6_86
On the maximum number of cliques in a graph, Graphs and Combinatorics, vol.23, pp.337-352, 2007. ,