Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space

Paul Beame, Chris Beck, Russell Impagliazzo. Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space. SIAM Journal on Computing, 45(4):1612-1645, 2016. [doi]

Abstract

Abstract is missing.