@misc{indiciae91ec5bcc5bf9,
  title = {Algorithms and Certificates for Boolean CSP Refutation: "Smoothed is no harder than Random"},
  author = {Venkatesan Guruswami and Pravesh K. Kothari and Peter Manohar},
  year = {2023},
  url = {https://arxiv.org/abs/2109.04415},
  note = {Source identifier: 2109.04415}
}