The Complexity of Constraint Satisfaction Problems (Invited Talk).
Manuel BodirskyPublished in: STACS (2015)
Keyphrases
- constraint satisfaction problems
- invited talk
- constraint satisfaction
- constraint programming
- np complete
- constraint propagation
- np hard
- combinatorial problems
- arc consistency
- soft constraints
- knowledge discovery and data mining
- search space
- decomposition methods
- constraint networks
- partial constraint satisfaction
- computational problems
- solving constraint satisfaction problems
- pseudo boolean optimization
- non binary
- worst case
- selected papers
- constraint solver
- sat problem
- decision problems
- constraint problems
- special case
- constraint solving
- recent advances