@inproceedings{GanianGrundel26,
 author = {Robert Ganian and
Marlene Gr{ü}ndel},
 booktitle = {29th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2026, Lisbon, Portugal, July 20-23, 2026},
 doi = {10.4230/LIPICS.SAT.2026.16},
 editor = {Alexey Ignatiev and
Stefan Szeider},
 keywords = {COE, ParAI},
 pages = {16:1–16:20},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Bilateral Treewidth for {QBF:} Where Strategies and Resolution Meet},
 url = {https://doi.org/10.4230/LIPIcs.SAT.2026.16},
 volume = {377},
 year = {2026}
}