Artículo:

Time-Space Lower Bounds for Satisfiability

Autor:

L. Fortnow

R. Lipton

D. van Melkebeek

A. Viglas

Página:

835

Sección:

Complexity Theory

Publicación:

Journal of the ACM

Volúmen:

52

Número:

6

Periodo:

Noviembre 2005

ISSN:

00045411

SrcID:

00045411-2005-06.txt