Failure Analysis in Backtrack Search for Constraint Satisfaction.
Tudor HulubeiBarry O'SullivanPublished in: CP (2006)
Keyphrases
- constraint satisfaction
- backtrack search
- constraint satisfaction problems
- constraint programming
- phase transition
- sat solvers
- constraint relaxation
- upper bound
- satisfiability problem
- constraint propagation
- robust fault detection
- genetic algorithm
- search algorithm
- expert systems
- search strategies
- combinatorial problems