Optimization-based Heuristics for Maximal Constraint Satisfaction.
Javier LarrosaPedro MeseguerPublished in: CP (1995)
Keyphrases
- constraint satisfaction
- heuristic search
- russian doll search
- constraint satisfaction problems
- backtrack search
- search strategies
- constraint relaxation
- constraint programming
- relaxation labeling
- phase transition
- optimization problems
- robust fault detection
- arc consistency
- probabilistic reasoning
- constraint solving
- constraint networks
- soft constraints
- constraint propagation
- combinatorial problems
- sat solvers
- product configuration
- constraint solver
- search space
- special case