LOPEZ MEDINA, MARCO ANTONIO
(Universidad Autónoma del Estado de México, 2018-10-01)
El conteo de modelos sobre fórmulas booleanas es el problema conocido como #SAT, el cual forma parte de los problemas catalogados como #P-Completos. #2SAT es una restricción a #SAT, donde las cláusulas que componen una ...