Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- sat solving
- phase transition
- variable ordering
- sat instances
- stochastic local search algorithms
- search algorithm
- stochastic local search
- search strategies
- knowledge base
- backtracking search
- max sat
- search procedures
- data sets
- propositional satisfiability
- boolean satisfiability
- satisfiability testing
- np complete problems
- constraint satisfaction
- np complete
- information systems
- databases