@misc{indiciae80ab58014917,
  title = {Heuristic average-case analysis of the backtrack resolution of random 3-Satisfiability instances},
  author = {Simona Cocco and Remi Monasson},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0401011},
  note = {Source identifier: cs/0401011}
}