Bilateral Treewidth for QBF: Where Strategies and Resolution Meet

Robert Ganian, Marlene Gründel
January 2026
Cite Project Project
Type
Conference Paper
Coe ParAI
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Marlene Gründel
Marlene Gründel

Marlene Gründel is a Project Assistant at the Algorithms and Complexity Group.