TY - RPRT TI - Automatic Generation of Polynomial Symmetry Breaking Constraints AU - Madalina Erascu AU - Johannes Middeke PY - 2026 UR - https://arxiv.org/abs/2602.08297 ID - 2602.08297 ER -