A theoretical evaluation of selected backtracking algorithms
Artificial Intelligence
Maintaining reversible DAC for Max-CSP
Artificial Intelligence
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Using Bidirectionality to Speed up Arc-Constistency Processing
Constraint Processing, Selected Papers
Constraint Processing
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence
Conflict-directed backjumping revisited
Journal of Artificial Intelligence Research
In the quest of the best form of local consistency for weighted CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
MINIMAXSAT: an efficient weighted max-SAT solver
Journal of Artificial Intelligence Research
Asynchronous forward bounding for distributed COPs
Journal of Artificial Intelligence Research
MiniMaxSAT: a new weighted Max-SAT solver
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Hi-index | 0.00 |
Max-CSPs are Constraint Optimization Problems that are commonly solved using a Branch and Bound algorithm. The B&B algorithm was enhanced by consistency maintenance procedures [Wallace and Freuder, 1993; Larrosa and Meseguer, 1996; Larrosa et al., 1999; Larrosa and Schiex, 2003; 2004]. All these algorithms traverse the search space in a chronological order and gain their efficiency from the quality of the consistency maintenance procedure. The present study introduces Conflict-directed Backjumping (CBJ) for Branch and Bound algorithms. The proposed algorithm maintains Conflict Sets which include only assignments whose replacement can lead to a better solution. The algorithm backtracks according to these sets. CBJ can be added to all classes of the Branch and Bound algorithm, in particular to versions of Branch & Bound that use advanced maintenance procedures of local consistency levels, NC, AC and FDAC [Larrosa and Schiex, 2003; 2004]. The experimental evaluation of B&B CBJ on random Max-CSPs shows that the performance of all algorithms is improved both in the number of assignments and in the time for completion.