@misc{indiciaefaa20813aba0,
  title = {Phase transition for Local Search on planted SAT},
  author = {Andrei A. Bulatov and Evgeny S. Skvortsov},
  year = {2008},
  url = {https://arxiv.org/abs/0811.2546},
  note = {Source identifier: 0811.2546}
}