Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- stochastic local search
- boolean satisfiability
- propositional satisfiability
- sat instances
- sat solving
- search algorithm
- search strategies
- stochastic local search algorithms
- phase transition
- np complete
- search procedures
- max sat
- search problems
- propositional logic
- constraint satisfaction problems