Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

COCOON
2009
Springer

favoriteEmaildiscussreport

139views Combinatorics» more COCOON 2009»

An Improved Time-Space Lower Bound for Tautologies

13 years 11 months ago

An Improved Time-Space Lower Bound for Tautologies

Download pages.cs.wisc.edu

Scott Diehl, Dieter van Melkebeek, Ryan Williams

Real-time Traffic

COCOON 2009 | Combinatorics |

claim paper

Related Content

» TimeSpace Lower Bounds for the PolynomialTime Hierarchy on Randomized Machines

» Inductive TimeSpace Lower Bounds for Sat and Related Problems

» Resolution over linear equations and multilinear proofs

» Improved Lower Bounds for TreeLike Resolution over Linear Inequalities

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	COCOON
Authors	Scott Diehl, Dieter van Melkebeek, Ryan Williams

Comments (0)