@misc{indiciae07cb50c34bc4,
  title = {Analysing Survey Propagation Guided Decimation on Random Formulas},
  author = {Samuel Hetterich},
  year = {2016},
  url = {https://arxiv.org/abs/1602.08519},
  note = {Source identifier: 1602.08519}
}