@misc{indiciaea989f016bda0,
  title = {Focused Local Search for Random 3-Satisfiability},
  author = {Sakari Seitz and Mikko Alava and Pekka Orponen},
  year = {2005},
  doi = {10.1088/1742-5468/2005/06/p06006},
  url = {https://arxiv.org/abs/cond-mat/0501707},
  note = {Source identifier: cond-mat/0501707}
}