Keyphrases
- random sat
- phase transition
- satisfiability problem
- sat problem
- max sat
- random sat instances
- random constraint satisfaction problems
- boolean satisfiability
- np complete
- constraint satisfaction
- sat instances
- davis putnam
- sat solvers
- stochastic local search
- randomly generated
- temporal logic
- special case
- combinatorial problems
- constraint satisfaction problems