@misc{indiciae41f1486fcb58,
  title = {Restart method and exponential acceleration of random 3-SAT instances resolutions: a large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm},
  author = {S. Cocco and R. Monasson},
  year = {2002},
  url = {https://arxiv.org/abs/cond-mat/0206242},
  note = {Source identifier: cond-mat/0206242}
}