Listar por tema "CNF"
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)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 ...Acceso abierto