On the satisfiability threshold and clustering of solutions of random 3-SAT formulas | Publicación