TY  - RPRT
TI  - Recursive Backdoors for SAT
AU  - Nikolas Mählmann
AU  - Sebastian Siebertz
AU  - Alexandre Vigny
PY  - 2021
UR  - https://arxiv.org/abs/2102.04707
ID  - 2102.04707
ER  -