No. Title Author Year
1 The Power of Negative Reasoning de Rezende, Susanna F. et al. 2021
2 Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs de Rezende, Susanna F. et al. 2020
3 Trade-Offs Between Size and Degree in Polynomial Calculus Lagarde, Guillaume et al. 2020
4 Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling de Rezende, Susanna F. et al. 2019
5 Proof Complexity (Dagstuhl Seminar 18051) Atserias, Albert et al. 2018
6 Cumulative Space in Black-White Pebbling and Resolution Alwen, Joël et al. 2017
7 Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases Lauria, Massimo et al. 2017
8 Supercritical Space-Width Trade-Offs for Resolution Berkholz, Christoph et al. 2016
9 A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds Miksa, Mladen et al. 2015
10 Theory and Practice of SAT Solving (Dagstuhl Seminar 15171) Biere, Armin et al. 2015
11 Tight Size-Degree Bounds for Sums-of-Squares Proofs Lauria, Massimo et al. 2015
12 From Small Space to Small Width in Resolution Filmus, Yuval et al. 2014
13 Understanding space in resolution: optimal lower bounds and exponential trade-offs Ben-Sasson, Eli et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 13


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI