Inductive Time-Space Lower Bounds for SAT and Related Problems (2005)

by Ryan Williams
Venue:Computational Complexity
Citations:13 - 4 self