View in EDS PDF Full Text

Time-Space Lower Bounds for Satisfiability.

Saved in:
Bibliographic Details
Title: Time-Space Lower Bounds for Satisfiability.
Authors: Fortnow, Lance1 fortnow@cs.uchicago.edu, Lipton, Richard2 rjl@cc.gatech.edu, Van Melkebeek, Dieter3 dieter@cs.wisc.edu, Viglas, Anastasios4 tasos@it.usyd.edu.au
Source: Journal of the ACM. Nov2005, Vol. 52 Issue 6, p835-865. 31p.
Database: Mathematics Source
Description
ISSN:00045411
DOI:10.1145/1101821.1101822