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

by Ryan Williams
Venue:IEEE Conference on Computational Complexity (CCC