Delaying satisfiability for random 2SAT.
Alistair SinclairDan VilenchikPublished in: Random Struct. Algorithms (2013)
Keyphrases
- random sat
- phase transition
- satisfiability problem
- sat problem
- max sat
- np complete
- random constraint satisfaction problems
- constraint satisfaction
- boolean satisfiability
- random sat instances
- search algorithm
- stochastic local search
- davis putnam
- constraint satisfaction problems
- sat solvers
- temporal logic
- combinatorial problems
- evolutionary algorithm
- sat instances
- cnf formula
- graph coloring