Sciweavers

COCOON
2009
Springer

An Improved Time-Space Lower Bound for Tautologies

14 years 6 months ago
An Improved Time-Space Lower Bound for Tautologies
Scott Diehl, Dieter van Melkebeek, Ryan Williams
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where COCOON
Authors Scott Diehl, Dieter van Melkebeek, Ryan Williams
Comments (0)