- isn = "00045411"
- Artículo:
Solving SAT and SAT Modulo Theories: From an abstract Davis—Putnam Logemann
- Autor:
Robert Nieuwenhuis
Albert Oliveras
Cesare Tinelli
- Página:
937
- Publicación:
Journal of the ACM
- Volúmen:
53
- Número:
6
- Periodo:
Noviembre 2006
- ISSN:
00045411
- SrcID:
00045411-2006-06.txt
- Documento número 791952
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
An approximation scheme for stochastic linear programming and its application to stochastic integer programs.
- Autor:
David B. Shmoys
Chaitanya Swamy:
- Página:
978
- Publicación:
Journal of the ACM
- Volúmen:
53
- Número:
6
- Periodo:
Noviembre 2006
- ISSN:
00045411
- SrcID:
00045411-2006-06.txt
- Documento número 791953
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
The complexity of homomorphism and constraint satisfaction problems seen from the other side
- Autor:
Martin Grohe
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 791954
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
Polymorphic higher-order recursive path orderings
- Autor:
Jean-Pierre Jouannaud
Albert Rubio
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 791955
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem
- Autor:
Sean Hallaren
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 791956
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
