On the Satisfiability Threshold and Clustering of Solutions of Random 3-SAT Formulas

Elitza N. Maneva Alistair Sinclair On the Satisfiability Threshold and Clustering of Solutions of Random 3-SAT Formulas http://arxiv.org/abs/0710.0805 2007 CoRR abs/0710.0805 db/journals/corr/corr0710.html#abs-0710-0805 informal publication