Time-space tradeoffs for satisfiability (0)

by L Fortnow
Venue:Journal of Computer and System Sciences