Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- search algorithm
- constraint satisfaction problems
- boolean satisfiability
- phase transition
- stochastic local search
- stochastic local search algorithms
- sat solving
- sat instances
- variable ordering
- max sat
- satisfiability testing
- backtracking search
- propositional satisfiability
- non binary
- constraint networks
- graph coloring
- sat encodings
- search strategies
- np hard
- lower bound