Propuestas algorítmicas para la resolución de los problemas de satisfactibilidad
Document title: Propuestas algorítmicas para la resolución de los problemas de satisfactibilidad
Journal: Computación y sistemas
Database: PERIÓDICA
System number: 000161218
ISSN: 1405-5546
Authors: 1
Institutions: 1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México
Year:
Season: Oct-Mar
Volumen: 2
Number: 2-3
Pages: 140-145
Country: México
Language: Español
Document type: Artículo
Approach: Analítico
Disciplines: Ciencias de la computación,
Matemáticas
Keyword: Matemáticas aplicadas,
Problemas de satisfactibilidad,
Algoritmos,
Cálculo proposicional,
Complejidad,
Monte Carlo
Keyword: Computer science,
Mathematics,
Applied mathematics,
Satisfiability problems,
Algorithms,
Propositional calculus,
Complexity,
Monte Carlo
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).