In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint
satisfaction problem (CSP) is known to be NP-complete; so that heuristic techniques are usually used. The main contribution
of this work is twofold: (i) a technique for de-composing a CSP into a DFS-tree CSP structure; (ii) an heuristic search technique
for solving DFS-tree CSP structures. This heuristic search technique has been empirically evaluated with random CSPs. The
evaluation results show that the behavior of our heuristic outperforms than the behavior of a centralized algorithm.
Keywords Constraint Satisfaction Problems - CSP Decomposition - heuristic search - DFS-tree
This work has been partially supported by the research projects TIN2004-06354-C02- 01 (Min. de Educacion y Ciencia, Spain-FEDER),
FOM- 70022/T05 (Min. de Fomento, Spain), GV/2007/274 (Generalidad Valenciana) and by the Future and Emerging Technologies
Unit of EC (IST priority - 6th FP), under contract no. FP6-021235-2 (project ARRIVAL).