On Using Unsatisfiability for Solving Maximum Satisfiability | Publicación