HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.