Artículo:

Short proofs are narrow resolution made simple

Autor:

Eli Ben-Sasson

Avi Wigderson

Página:

149

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

2

Periodo:

Marzo 2001

ISSN:

00045411

SrcID:

00045411-2001-02.txt