TY  - RPRT
TI  - Lower Bounds for QBFs of Bounded Treewidth
AU  - Johannes Klaus Fichte
AU  - Markus Hecher
AU  - Andreas Pfandler
PY  - 2020
UR  - https://arxiv.org/abs/1910.01047
ID  - 1910.01047
ER  -