Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space

Paul Beame, Christopher Beck, Russell Impagliazzo. Time-space tradeoffs in resolution: superpolynomial lower bounds for superlinear space. In Howard J. Karloff, Toniann Pitassi, editors, Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012, New York, NY, USA, May 19 - 22, 2012. pages 213-232, ACM, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: