@misc{indiciae313e325385ad,
  title = {Random K-satisfiability problem: from an analytic solution to an efficient algorithm.},
  author = {Marc Mézard and Riccardo Zecchina},
  year = {2002},
  doi = {10.1103/physreve.66.056126},
  url = {https://pubmed.ncbi.nlm.nih.gov/12513575/},
  note = {Source identifier: 12513575}
}