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


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