Bilateral Treewidth for QBF: Where Strategies and Resolution Meet.

Robert Ganian, Marlene Grndel

Browse the full SAT paper archive.