The Complexity of Valued Constraint Satisfaction.
Peter JeavonsAndrei A. KrokhinStanislav ZivnýPublished in: Bull. EATCS (2014)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- relaxation labeling
- constraint programming
- heuristic search
- constraint propagation
- constraint solving
- arc consistency
- phase transition
- probabilistic reasoning
- russian doll search
- computational complexity
- constraint relaxation
- soft constraints
- combinatorial problems
- constraint solver
- search strategies
- constraint networks
- constraint optimization
- sat solvers