Buenas.
Tengo una consulta sobre el problema de Satisfacción Booleana Monótona (SAT-MON). Pude realizar el ejercicio reduciéndolo desde Vertex Cover y terminarlo correctamente, pero hay algo que se me está escapando ¿Por qué ante una instancia de SAT-MON no funciona contar la cantidad de cláusulas en las que aparece cada variable, ordenar las variables por cantidad de apariciones, y asignarle el valor de verdad 1 a esas variables por mayor cantidad de apariciones hasta que todas las cláusulas contengan una variable con valor de verdad 1?
Saludos, Guillermo.