Scott Diehl, Dieter van Melkebeek, Ryan Williams. An Improved Time-Space Lower Bound for Tautologies. In Hung Q. Ngo, editor, Computing and Combinatorics, 15th Annual International Conference, COCOON 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings. Volume 5609 of Lecture Notes in Computer Science, pages 429-438, Springer, 2009. [doi]
Abstract is missing.