Time-space tradeoffs for satisfiability (2000)

by L Fortnow
Venue:Journal of Computer and System Sciences