Time-space lower bounds for satisfiability. (2005)

by L Fortnow, R J Lipton, D van Melkebeek, A Viglas
Venue:J. ACM