Instances solubles dans le temps polynomial de Max-Sat
Le problème Max-Sat vous demande de trouver une affectation d'une formule CNF qui satisfasse autant de clauses que possible. Pour le problème SAT plus simple, il existe de nombreux cas spéciaux connus qui peuvent être résolus en temps polynomial, par exemple, nous pouvons résoudre 2-SAT en temps...