Time-Space Tradeoffs for Nondeterministic Computation (2000)

by Lance Fortnow, Dieter Van Melkebeek
Venue:In Proceedings of the 15th IEEE Conference on Computational Complexity