Keyphrases
- sat problem
- sat encodings
- constraint satisfaction problems
- backtracking search
- sat solvers
- constraint satisfaction
- satisfiability problem
- constraint programming
- propositional satisfiability
- np complete
- sat solving
- max sat
- combinatorial problems
- graph coloring
- unit propagation
- sat instances
- boolean satisfiability
- phase transition
- davis putnam
- tractable classes
- decomposition methods
- constraint propagation
- planning problems
- constraint solving
- search algorithm
- tree decompositions
- random instances
- search space
- stochastic local search
- constraint networks
- randomly generated
- search strategies
- stochastic local search algorithms
- tree decomposition
- forward checking
- decomposition method
- search problems
- backtracking algorithm
- arc consistency
- solving constraint satisfaction problems
- partial constraint satisfaction