Davis and Putnam is linear for horn-sat and quadratic for 2-SAT
Document title: Davis and Putnam is linear for horn-sat and quadratic for 2-SAT
Journal: Tecnura (Bogotá)
Database: PERIÓDICA
System number: 000230326
ISSN: 0123-921X
Authors: 1
Institutions: 1Instituto de Investigación Científica del Consulado Español, Barcelona. España
Year:
Season: Ene-Jun
Volumen: 8
Number: 14
Pages: 57-67
Country: Colombia
Language: Inglés
Document type: Artículo
Approach: Teórico
Disciplines: Ingeniería,
Ciencias de la computación
Keyword: Ingeniería eléctrica,
Esquema Davis y Putnam,
Algoritmos
Keyword: Engineering,
Computer science,
Electrical engineering,
Davis and Putnam scheme,
Algorithms
Document request
Note: The document is shipping cost.









Original documents can be consulted at the Departamento de Información y Servicios Documentales, located in the Annex to the General Directorate of Libraries (DGB), circuito de la Investigación Científica across from the Auditorium Nabor Carrillo, located between the Institutes of Physics and Astronomy. Ciudad Universitaria UNAM. Show map
For more information: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964. E-mail: sinfo@dgb.unam.mx . Monday to Friday from (8 to 16 hrs).