TY  - RPRT
TI  - On the Satisfiability Threshold and Clustering of Solutions of Random 3-SAT Formulas
AU  - Elitza Maneva
AU  - Alistair Sinclair
PY  - 2008
UR  - https://arxiv.org/abs/0710.0805
ID  - 0710.0805
ER  -