The complexity of constraint satisfaction games and QCSP.
Ferdinand BörnerAndrei A. BulatovHubie ChenPeter JeavonsAndrei A. KrokhinPublished in: Inf. Comput. (2009)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- heuristic search
- constraint propagation
- constraint programming
- phase transition
- constraint optimization
- constraint solving
- sat solvers
- space complexity
- constraint relaxation
- worst case
- arc consistency
- soft constraints
- russian doll search
- search algorithm
- non binary
- game playing
- decision problems
- special case
- search space
- computational complexity