Keyphrases
- sat encodings
- sat problem
- constraint satisfaction problems
- backtracking search
- sat solvers
- constraint satisfaction
- satisfiability problem
- np complete
- constraint programming
- propositional satisfiability
- unit propagation
- sat solving
- combinatorial problems
- search algorithm
- graph coloring
- max sat
- phase transition
- boolean satisfiability
- constraint propagation
- arc consistency
- tractable classes
- randomly generated
- stochastic local search algorithms
- decomposition methods
- search strategies
- search space
- random instances
- sat instances
- constraint networks
- tree decompositions
- np complete problems
- clause learning
- tree decomposition
- search problems
- backtracking algorithm
- stochastic local search
- heuristic search
- computational complexity