Computer Science – Artificial Intelligence
Scientific paper
2010-09-02
Computer Science
Artificial Intelligence
To appear in the 3rd workshop on techniques for implementing constraint programming systems (TRICS workshop at the 16th CP Con
Scientific paper
The search strategy of a CP solver is determined by the variable and value ordering heuristics it employs and by the branching scheme it follows. Although the effects of variable and value ordering heuristics on search effort have been widely studied, the effects of different branching schemes have received less attention. In this paper we study this effect through an experimental evaluation that includes standard branching schemes such as 2-way, d-way, and dichotomic domain splitting, as well as variations of set branching where branching is performed on sets of values. We also propose and evaluate a generic approach to set branching where the partition of a domain into sets is created using the scores assigned to values by a value ordering heuristic, and a clustering algorithm from machine learning. Experimental results demonstrate that although exponential differences between branching schemes, as predicted in theory between 2-way and d-way branching, are not very common, still the choice of branching scheme can make quite a difference on certain classes of problems. Set branching methods are very competitive with 2-way branching and outperform it on some problem classes. A statistical analysis of the results reveals that our generic clustering-based set branching method is the best among the methods compared.
Balafoutis Thanasis
Paparrizou Anastasia
Stergiou Kostas
No associations
LandOfFree
Experimental Evaluation of Branching Schemes for the CSP 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 Experimental Evaluation of Branching Schemes for the CSP, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Experimental Evaluation of Branching Schemes for the CSP will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-375959