Reference:

John Ardelius, Erik Aurell, and Supriya Krishnamurthy. Clustering of solutions in hard satisfiability problems. J Stat Mech; Theo Exp, 2007.

Suggested BibTeX entry:

@article{AAK,
    author = {John Ardelius and Erik Aurell and Supriya Krishnamurthy},
    journal = {J Stat Mech; Theo Exp},
    title = {Clustering of solutions in hard satisfiability problems},
    year = {2007},
}