Documenti analoghi: Algorithms for the maximum satisfiability problem.