Sciweavers

Share
CC
2015
Springer

Limits on Alternation Trading Proofs for Time-Space Lower Bounds

4 years 2 months ago
Limits on Alternation Trading Proofs for Time-Space Lower Bounds
This paper characterizes alternation-trading based proofs that the Boolean satisfiability problem is not in the time and space
Samuel R. Buss, Ryan Williams
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CC
Authors Samuel R. Buss, Ryan Williams
Comments (0)
books