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]
No references recorded for this publication.
No citations of this publication recorded.