@misc{indiciaee9bcb4cada10,
  title = {Exponentially hard problems are sometimes polynomial, a large deviation analysis of search algorithms for the random satisfiability problem, and its application to stop-and-restart resolutions.},
  author = {Simona Cocco and Rémi Monasson},
  year = {2002},
  doi = {10.1103/physreve.66.037101},
  url = {https://pubmed.ncbi.nlm.nih.gov/12366297/},
  note = {Source identifier: 12366297}
}