Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms | Publicación