- isn = "00045411"
- Artículo:
An invariance principle for polytopes
- Autor:
Prahladh Harsha
Adam Klivans
Raghu Meka
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
5
- Periodo:
diciembre 2012
- ISSN:
00045411
- SrcID:
00045411-2012-06.txt
- Documento número 1145700
- Actualizado el martes, 10 de julio de 2018 11:26:09 a. m.
- Creado el martes, 10 de julio de 2018 11:26:09 a. m.
- Enlace directo
- Artículo:
The dichotomy of probabilistic inference for unions of conjunctive queries
- Autor:
Nilesh Dalvi
Dan Suciu
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
5
- Periodo:
diciembre 2012
- ISSN:
00045411
- SrcID:
00045411-2012-06.txt
- Documento número 1145701
- Actualizado el martes, 10 de julio de 2018 11:26:09 a. m.
- Creado el martes, 10 de julio de 2018 11:26:09 a. m.
- Enlace directo
- Artículo:
Theories, solvers and static analysis by abstract interpretation
- Autor:
Patrick Cousot
Radhia Cousot
Laurent Mauborgne
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
5
- Periodo:
diciembre 2012
- ISSN:
00045411
- SrcID:
00045411-2012-06.txt
- Documento número 1145702
- Actualizado el martes, 10 de julio de 2018 11:26:09 a. m.
- Creado el martes, 10 de julio de 2018 11:26:09 a. m.
- Enlace directo
- Artículo:
Graph expansion and communication costs of fast matrix multiplication
- Autor:
Grey Ballard
James Demmel
Olga Holtz
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
5
- Periodo:
diciembre 2012
- ISSN:
00045411
- SrcID:
00045411-2012-06.txt
- Documento número 1145703
- Actualizado el martes, 10 de julio de 2018 11:26:09 a. m.
- Creado el martes, 10 de julio de 2018 11:26:09 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 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
