@inproceedings{GanianGrundel26,
 author = {Robert Ganian and 
Marlene Gründel},
 booktitle = {29th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2026},
 keywords = {COE, ParAI},
 note = {to appear},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Bilateral Treewidth for QBF: Where Strategies and Resolution Meet},
 year = {2026}
}