Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns.
Richard WallacePublished in: GCAI (2018)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- non binary
- computational complexity
- constraint optimization
- worst case
- combinatorial problems
- constraint propagation
- pseudo boolean optimization
- constraint programming
- np complete
- space complexity
- computational problems
- forward checking
- arc consistency
- decomposition methods
- finding optimal solutions
- backtracking search
- sat problem
- constraint graph
- search space
- problems in artificial intelligence
- lower bound
- phase transition
- arc consistency algorithm
- random instances
- constraint problems