El problema Max-Sat le pide que encuentre una asignación de una fórmula CNF que satisfaga tantas cláusulas como sea posible.
Para el problema SAT más simple, existen muchos casos especiales conocidos que pueden resolverse en tiempo polinómico, por ejemplo, podemos resolver 2-SAT en tiempo polinómico.
Para Max-Sat la situación es diferente ya que Max-Sat es NP-hard incluso para fórmulas de 2-CNF (cada cláusula contiene solo 2 variables).
¿Hay alguna entrada especial interesante para la cual Max-Sat sea polinomial?
En particular, me interesaría una referencia estándar para resolver Max-Sat cuando el gráfico de incesión ha acotado el ancho del árbol.