- 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 252921
- 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
