Algorithms for Maximum Satisfiability Using Unsatisfiable Cores | Publicación