@misc{indiciaeff43ebfbe952,
  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 = {S. Cocco and R. Monasson},
  year = {2002},
  doi = {10.1103/physreve.66.037101},
  url = {https://arxiv.org/abs/cond-mat/0203012},
  note = {Source identifier: cond-mat/0203012}
}