1. aut = "F. Zane"
Se encontraron 3 resultados.
Artículo:

An improved exponential time algorithm for k-SAT

Autor:

R. Paturi

P. Pudlák

M. E. Saks

F. Zane

Página:

337

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 252873
  • Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Enlace directo
Artículo:

An improved exponential time algorithm for k-SAT

Autor:

R. Paturi

P. Pudlák

M. E. Saks

F. Zane

Página:

337

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 840457
  • Actualizado el martes, 10 de julio de 2018 10:49:51 a. m.
  • Creado el martes, 10 de julio de 2018 10:49:51 a. m.
  • Enlace directo
Artículo:

An improved exponential time algorithm for k-SAT

Autor:

R. Paturi

P. Pudlák

M. E. Saks

F. Zane

Página:

337

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 1145492
  • Actualizado el martes, 10 de julio de 2018 11:26:07 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:07 a. m.
  • Enlace directo