@misc{indiciae2d62bbf69fed,
  title = {SAT Backdoors: Depth Beats Size},
  author = {Jan Dreier and Sebastian Ordyniak and Stefan Szeider},
  year = {2022},
  url = {https://arxiv.org/abs/2202.08326},
  note = {Source identifier: 2202.08326}
}