Classes of Hard Formulas for QBF Resolution. - Agnes Schleitzer; Olaf Beyersdorff (Electron. Colloquium Comput. Complex., 2022)

Computationally Hard Problems Are Hard for QBF Proof Systems Too. - Agnes Schleitzer; Olaf Beyersdorff (Electron. Colloquium Comput. Complex., 2024)