Revista: | Computación y sistemas |
Base de datos: | PERIÓDICA |
Número de sistema: | 000161218 |
ISSN: | 1405-5546 |
Autores: | De Ita Luna, Guillermo1 |
Instituciones: | 1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México |
Año: | 1998-1999 |
Periodo: | Oct-Mar |
Volumen: | 2 |
Número: | 2-3 |
Paginación: | 140-145 |
País: | México |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico |
Disciplinas: | Ciencias de la computación, Matemáticas |
Palabras clave: | 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 |
Solicitud del documento | |