@misc{indiciae41e7784d52c5,
  title = {The random K-satisfiability problem: from an analytic solution to an efficient algorithm},
  author = {Marc Mezard and Riccardo Zecchina},
  year = {2002},
  doi = {10.1103/physreve.66.056126},
  url = {https://arxiv.org/abs/cond-mat/0207194},
  note = {Source identifier: cond-mat/0207194}
}