Computer Science – Artificial Intelligence
Scientific paper
2004-11-08
Computer Science
Artificial Intelligence
Number of pages: 27 Number of figures: 14 Number of Tables: 2
Scientific paper
The most advanced implementation of adaptive constraint processing with Constraint Handling Rules (CHR) allows the application of intelligent search strategies to solve Constraint Satisfaction Problems (CSP). This presentation compares an improved version of conflict-directed backjumping and two variants of dynamic backtracking with respect to chronological backtracking on some of the AIM instances which are a benchmark set of random 3-SAT problems. A CHR implementation of a Boolean constraint solver combined with these different search strategies in Java is thus being compared with a CHR implementation of the same Boolean constraint solver combined with chronological backtracking in SICStus Prolog. This comparison shows that the addition of ``intelligence'' to the search process may reduce the number of search steps dramatically. Furthermore, the runtime of their Java implementations is in most cases faster than the implementations of chronological backtracking. More specifically, conflict-directed backjumping is even faster than the SICStus Prolog implementation of chronological backtracking, although our Java implementation of CHR lacks the optimisations made in the SICStus Prolog system. To appear in Theory and Practice of Logic Programming (TPLP).
No associations
LandOfFree
Intelligent search strategies based on adaptive Constraint Handling Rules does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Intelligent search strategies based on adaptive Constraint Handling Rules, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Intelligent search strategies based on adaptive Constraint Handling Rules will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-109188