@misc{indiciae51026ade482e,
  title = {Exhaustive enumeration unveils clustering and freezing in random 3-SAT},
  author = {John Ardelius and Lenka Zdeborová},
  year = {2008},
  doi = {10.1103/physreve.78.040101},
  url = {https://arxiv.org/abs/0804.0362},
  note = {Source identifier: 0804.0362}
}