TY  - RPRT
TI  - From spin glasses to hard satisfiable formulas
AU  - Haixia Jia
AU  - Cristopher Moore
AU  - Bart Selman
PY  - 2012
UR  - https://arxiv.org/abs/cond-mat/0408190
ID  - cond-mat/0408190
ER  -