@misc{indiciaea33e2dd7dfba,
  title = {Recursive Backdoors for SAT},
  author = {Nikolas Mählmann and Sebastian Siebertz and Alexandre Vigny},
  year = {2021},
  url = {https://arxiv.org/abs/2102.04707},
  note = {Source identifier: 2102.04707}
}