TY  - RPRT
TI  - Exhaustive enumeration unveils clustering and freezing in random 3-SAT
AU  - John Ardelius
AU  - Lenka Zdeborová
PY  - 2008
DO  - 10.1103/physreve.78.040101
UR  - https://arxiv.org/abs/0804.0362
ID  - 0804.0362
ER  -