Keyword:lower bounds

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