[IEEE Comput. Soc Computational Complexity. Twelfth Annual IEEE Conference - Ulm, Germany (24-27 June 1997)] Proceedings of Computational Complexity. Twelfth Annual IEEE Conference - Nondeterministic polynomial time versus nondeterministic logarithmic space: time-space tradeoffs for satisfiability
Fortnow, L.Year:
1997
Language:
english
DOI:
10.1109/CCC.1997.612300
File:
PDF, 758 KB
english, 1997