@misc{indiciae78374bc6a563,
  title = {From spin glasses to hard satisfiable formulas},
  author = {Haixia Jia and Cristopher Moore and Bart Selman},
  year = {2012},
  url = {https://arxiv.org/abs/cond-mat/0408190},
  note = {Source identifier: cond-mat/0408190}
}