Algorithms for maximum satisfiability using unsatisfiable cores | Publicación