Time-space tradeos for nondeterministic computation (2000)

by L Fortnow, D van Melkebeek
Venue:In Proceedings of the 15th IEEE Conference on Computational Complexity