López Medina, Marco Antonio
(Universidad Autónoma del Estado de México, 2023-11-29)
El problema de conteo de modelos en dos forma normal conjuntiva (2-FNC), denominado
#2SAT se estudia a través de su representación en gráficas de tipo serial-paralelo, mallas y
cúbicas. Hasta el momento, este problema ...