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

DROPS-Home | Fulltext Search | Imprint Published by LZI