Article ID: | iaor2005398 |
Country: | United States |
Volume: | 146 |
Issue: | 1 |
Start Page Number: | 43 |
End Page Number: | 75 |
Publication Date: | May 2003 |
Journal: | Artificial Intelligence |
Authors: | Jegou P., Terrioux C. |
Keywords: | constraint programming |
We propose a framework for solving CSPs based both on backtracking techniques and on the notion of tree-composition of the constraint networks. This mixed approach permits us to define a new framework for the enumeration, which we expect that it will benefit from the advantages of two approaches: a practical efficiency of enumerative algorithms and a warranty of a limited time complexity by an approximation of the tree-width of the constraint networks. Finally, experimental results allow us to show the advantages of this approach.