Constraint satisfaction parameterized by solution size
Andrei A. BulatovDániel MarxPublished in: CoRR (2012)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint problems
- constraint propagation
- constraint programming
- probabilistic reasoning
- constraint solver
- constraint solving
- phase transition
- heuristic search
- russian doll search
- combinatorial problems
- constraint relaxation
- arc consistency
- constraint networks
- dynamic programming
- search strategies
- constrained problems
- forward checking
- robust fault detection