Symmetry Breaking for Maximum Satisfiability | Publicación