An Improved Time-Space Lower Bound for Tautologies.

Scott Diehl, Dieter van Melkebeek, Ryan Williams

Browse the full COCOON paper archive.