Constraint Satisfaction Problems: Complexity and Algorithms.
Andrei A. BulatovPublished in: LATA (2018)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- pseudo boolean optimization
- computational problems
- computational complexity
- worst case
- forward checking
- non binary
- constraint programming
- decomposition methods
- constraint propagation
- space complexity
- arc consistency
- optimization problems
- constraint optimization
- combinatorial problems
- orders of magnitude
- graph based representations
- tractable subclasses
- backtracking search
- np complete
- backtracking algorithm
- finding optimal solutions
- constraint graph
- optimal solution
- random instances
- constraint problems
- search space
- graph theory
- special case
- np hard