Revistas
Artículos
Publicaciones
Documentos
AVANZADA
6
Artículos
Buscar Revistas
Resolution Is Not Automatizable Unless W[P] Is Tractable
Solicitud
usuarios registrados
Michael Alekhnovich and Alexander A. Razborov
Pág. 1347 - 1363
Revista:
SIAM JOURNAL ON COMPUTING
Formato:
Impreso
Tabla de contenido:
Vol: 38 Num: 4 Par: 0 Año: 2008
Pseudorandom Generators in Propositional Proof Complexity
Solicitud
usuarios registrados
Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson
Pág. 67 - 68
Revista:
SIAM JOURNAL ON COMPUTING
Formato:
Impreso
Tabla de contenido:
Vol: 34 Num: 1 Par: 0 Año: 2004
Space Complexity in Propositional Calculus
Solicitud
usuarios registrados
Michael Alekhnovich; Eli Ben-Sasson; Alexander A. Razborov; Avi Wigderson
Pág. 1184 - 1211
Revista:
SIAM JOURNAL ON COMPUTING
Formato:
Impreso
Tabla de contenido:
Vol: 31 Num: 4 Par: 0 Año: 2002
« Anterior
Página: 1 de 1
Siguiente »