TY  - RPRT
TI  - Clustering of solutions in hard satisfiability problems
AU  - John Ardelius
AU  - Erik Aurell
AU  - Supriya Krishnamurthy
PY  - 2007
DO  - 10.1088/1742-5468/2007/10/p10012
UR  - https://arxiv.org/abs/cond-mat/0702672
ID  - cond-mat/0702672
ER  -