Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- stochastic local search algorithms
- sat solving
- boolean satisfiability
- max sat
- propositional satisfiability
- satisfiability testing
- sat instances
- phase transition
- search algorithm
- stochastic local search
- search strategies
- information systems
- planning problems
- logic programs
- computational complexity