TY  - RPRT
TI  - SAT Backdoors: Depth Beats Size
AU  - Jan Dreier
AU  - Sebastian Ordyniak
AU  - Stefan Szeider
PY  - 2022
UR  - https://arxiv.org/abs/2202.08326
ID  - 2202.08326
ER  -