TY  - RPRT
TI  - Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
AU  - Robert Ganian
AU  - Marlene Gründel
PY  - 2026
UR  - https://arxiv.org/abs/2605.06262
ID  - 2605.06262
ER  -