Solution clustering in random satisfiabilityD. AchlioptasEur. Phys. J. B, 64 3-4 (2008) 395-402DOI: https://doi.org/10.1140/epjb/e2008-00324-5