Keyphrases
- random sat
- phase transition
- satisfiability problem
- sat problem
- boolean satisfiability
- max sat
- random sat instances
- random constraint satisfaction problems
- davis putnam
- constraint satisfaction
- np complete
- randomly generated
- temporal logic
- search algorithm
- special case
- sat solvers
- propositional logic
- sat instances
- combinatorial problems
- evolutionary algorithm
- lower bound