On the satisfiability threshold and clustering of solutions of random 3-SAT formulasElitza ManevaAlistair Sinclair2008Theoretical Computer Science