Buscar
Mostrando ítems 1-1 de 1
Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
(Universidad Inca Garcilaso de la Vega, 2016-09)
Acceso abierto
Con un método novedoso de resolución para el clásico problema de decisión de Satisfacción Booleana
(SAT) formulado con cláusulas CNF se describen algoritmos que permiten determinar cuando una formula pertenece al lenguaje ...