@misc{indiciae2073b140b894,
  title = {The backtracking survey propagation algorithm for solving random K-SAT problems},
  author = {Raffaele Marino and Giorgio Parisi and Federico Ricci-Tersenghi},
  year = {2016},
  doi = {10.1038/ncomms12996},
  url = {https://arxiv.org/abs/1508.05117},
  note = {Source identifier: 1508.05117}
}