Keyword:proof complexity

Papers
Classes of Hard Formulas for QBF Resolution Agnes Schleitzer and Olaf Beyersdorff EasyChair Preprint no. 8633