An Improved Time-Space Lower Bound for Tautologies.

Scott Diehl Dieter van Melkebeek Ryan Williams An Improved Time-Space Lower Bound for Tautologies. 429-438 2009 COCOON http://dx.doi.org/10.1007/978-3-642-02882-3_43 conf/cocoon/2009 db/conf/cocoon/cocoon2009.html#DiehlMW09