@misc{indiciae025b575bff6f,
  title = {Clustering of solutions in hard satisfiability problems},
  author = {John Ardelius and Erik Aurell and Supriya Krishnamurthy},
  year = {2007},
  doi = {10.1088/1742-5468/2007/10/p10012},
  url = {https://arxiv.org/abs/cond-mat/0702672},
  note = {Source identifier: cond-mat/0702672}
}