On the satisfiability threshold and clustering of solutions of random 3-SAT formulas
scientific article; zbMATH DE number 5368343
scientific article