Nondeterministic polynomial time versus nondeterministic logarithmic space: time-space tradeoffs for satisfiability | IEEE Conference Publication | IEEE Xplore