Artículo:

Propositional Proof Complexity

Autor:

Alexander Razborov

Página:

80

Publicación:

Journal of the ACM

Volúmen:

50

Número:

1

Periodo:

Enero 2003

ISSN:

1557735X

SrcID:

1557735X-2003-01.txt