On Using Unsatisfiability for Solving Maximum Satisfiability

Open in new window