Keyword:lower bounds

Papers
Classes of Hard Formulas for QBF Resolution Agnes Schleitzer and Olaf Beyersdorff EasyChair Preprint no. 8633
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Wojciech Czerwiński and Łukasz Orlikowski EasyChair Preprint no. 8619