Time-Space Lower Bounds for Satisfiability (2005)

by L Fortnow, R Lipton, D van Melkebeek, A Viglas
Venue:JACM