Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF.

Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak

Browse the full LICS paper archive.