By Topic

A framework for guided complete search for solving constraint satisfaction problems and some of its instances

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Fung, S.K.L. ; Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, China ; Zheng, D.J. ; Ho-fung Leung ; Lee, J.H.M.
more authors

Systematic tree search augmented with constraint propagation has been regarded as the de facto standard approach to solve constraint satisfaction problems (CSPs). The property of completeness of tree search is superior to incomplete stochastic local search, although local search approach is more efficient in general. Many heuristics techniques have been developed to improve the efficiency of the tree search approach. We propose a framework for combining and coordinating a complete tree search solver and a different solver in order to produce a complete and efficient CSP solver. Three different instances of the framework have been suggested including combining complete tree search with stochastic search, mathematical programming approach respectively. The experimental results show that this highly integrated hybrid scheme greatly improve the efficiency of constraint solving process in terms of both computation time and number of backtracking.

Published in:

Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on

Date of Conference:

15-17 Nov. 2004