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

Paul Beame, Christopher Beck, Russell Impagliazzo

Browse the full STOC paper archive.