TY  - RPRT
TI  - Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
AU  - Johannes K. Fichte
AU  - Robert Ganian
AU  - Markus Hecher
AU  - Friedrich Slivovsky
AU  - Sebastian Ordyniak
PY  - 2023
UR  - https://arxiv.org/abs/2304.13896
ID  - 2304.13896
ER  -