Keyphrases
- satisfiability problem
- sat problem
- phase transition
- random sat
- sat instances
- satisfiability testing
- sat solving
- random instances
- stochastic local search
- sat solvers
- np complete
- randomly generated
- random sat instances
- random constraint satisfaction problems
- search algorithm
- sat encodings
- boolean formula
- stochastic local search algorithms
- davis putnam
- propositional satisfiability
- temporal logic
- boolean satisfiability
- constraint satisfaction problems
- max sat
- constraint satisfaction
- propositional logic
- truth assignment
- davis putnam logemann loveland
- symmetry breaking
- graph coloring
- metaheuristic
- threshold selection
- branch and bound
- computational properties
- orders of magnitude
- computational complexity
- genetic algorithm