Keyphrases
- sat solvers
- satisfiability problem
- sat solving
- sat problem
- max sat
- search algorithm
- max sat solver
- stochastic local search
- propositional satisfiability
- stochastic local search algorithms
- boolean satisfiability
- search strategies
- graph coloring
- orders of magnitude
- backtracking search
- search problems
- phase transition
- np complete problems
- sat instances
- model checking