Lance Fortnow. Time-Space Tradeoffs for Satisfiability. J. Comput. Syst. Sci., 60(2):337-353, 2000.
@article{Fortnow00,
title = {Time-Space Tradeoffs for Satisfiability},
author = {Lance Fortnow},
year = {2000},
researchr = {https://researchr.org/publication/Fortnow00},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {60},
number = {2},
pages = {337-353},
}