Lower Bounds for QBFs of Bounded Treewidth.

Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler

Browse the full LICS paper archive.