Schleitzer, Agnes

2 publications

AAAI 2025 Computationally Hard Problems Are Hard for QBF Proof Systems Too Agnes Schleitzer, Olaf Beyersdorff

JAIR 2023 Classes of Hard Formulas for QBF Resolution Agnes Schleitzer, Olaf Beyersdorff