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

Abstract

Full Citation:

Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak. Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF. Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1-14, 2023.

Robert Ganian

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