Time-Space Lower Bounds for Satisfiability (2005)

by Lance Fortnow , Anastasios Viglas , Dieter Van Melkebeek
Venue:JACM
Citations:25 - 8 self