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},
}
|