On Random 3-sat.
A. El MaftouhiWenceslas Fernandez de la VegaPublished in: Comb. Probab. Comput. (1995)
Keyphrases
- random sat
- phase transition
- satisfiability problem
- sat problem
- random sat instances
- random constraint satisfaction problems
- max sat
- boolean satisfiability
- np complete
- stochastic local search
- davis putnam
- constraint satisfaction
- search strategies
- sat solvers
- combinatorial problems
- graph coloring
- constraint satisfaction problems
- lower bound