Time-space tradeoffs for satisfiability (1997)

by L Fortnow
Venue:In 12th IEEE Conference in Computational Complexity