A New Time-Space Lower Bound for Nondeterministic Algorithms Solving Tautologies

Thumbnail
File(s)
Date
2007
Author
Diehl, S.
Melkebeek, D. van
Williams, R.
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item record
Abstract
We show that for all reals
Permanent Link
http://digital.library.wisc.edu/1793/60768
Type
Technical Report
Citation
TR1601
Part of