Transposition Tables for Constraint Satisfaction.
Christophe LecoutreLakhdar SaisSébastien TabaryVincent VidalPublished in: AAAI (2007)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- phase transition
- constraint propagation
- constraint relaxation
- constrained problems
- constraint solving
- arc consistency
- relaxation labeling
- soft constraints
- combinatorial problems
- constraint programming
- sat solvers
- product configuration
- special case
- approximation algorithms
- path consistency
- constraint networks
- constraint solver
- robust fault detection
- russian doll search