HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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