No. Title Author Year
1 Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling de Rezende, Susanna F. et al. 2019
2 Proof Complexity (Dagstuhl Seminar 18051) Atserias, Albert et al. 2018
3 Cumulative Space in Black-White Pebbling and Resolution Alwen, Joël et al. 2017
4 Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases Lauria, Massimo et al. 2017
5 Supercritical Space-Width Trade-Offs for Resolution Berkholz, Christoph et al. 2016
6 A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds Miksa, Mladen et al. 2015
7 Theory and Practice of SAT Solving (Dagstuhl Seminar 15171) Biere, Armin et al. 2015
8 Tight Size-Degree Bounds for Sums-of-Squares Proofs Lauria, Massimo et al. 2015
9 From Small Space to Small Width in Resolution Filmus, Yuval et al. 2014
10 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: 10


DROPS-Home | Imprint | Privacy Published by LZI