@misc{indiciae0c3457ef1710,
  title = {Behavior of heuristics and state space structure near SAT/UNSAT transition},
  author = {John Ardelius and Erik Aurell},
  year = {2006},
  doi = {10.1103/physreve.74.037702},
  url = {https://arxiv.org/abs/cond-mat/0601703},
  note = {Source identifier: cond-mat/0601703}
}