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. Theoretical Computer Science, 407(1-3):359-369, 2008. [doi]

Abstract

Abstract is missing.