Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling.

Philipp Hertel, Toniann Pitassi

Browse the full FOCS paper archive.