Automatic Generation of Polynomial Symmetry Breaking Constraints.

Madalina Erascu, Johannes Middeke

Browse the full ISSAC paper archive.