![]() |
@inproceedings{DBLP:conf/coco/Fortnow97,
author = {Lance Fortnow},
title = {Nondeterministic Polynomial Time versus Nondeterministic
Logarithmic Space: Time-Space Tradeoffs for Satisfiability},
booktitle = {IEEE Conference on Computational Complexity},
year = {1997},
pages = {52-60},
ee = {http://www.computer.org/proceedings/ccc/7907/79070052abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-08-15 by Michael Ley (ley@uni-trier.de)