We gratefully acknowledge support from
the Simons Foundation and member institutions.

Joao Marques-Silva is qualified to endorse.

Symmetry Breaking for Maximum Satisfiability

Joao Marques-Silva: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LG, cs.LO. (why?)

Ines Lynce and Vasco Manquinho are not registered as owners of this paper. (why?)