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 ...