2 citations · 3 across the 7 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2026
When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study
Madalina Erascu, Johannes Middeke
We present an experimental evaluation of automatically generated polynomial symmetry breaking constraints for integer linear programs. Starting from the method that we introduced a…
cs.SC2026
Automatic Generation of Polynomial Symmetry Breaking Constraints
Madalina Erascu, Johannes Middeke
Symmetry in integer programming causes redundant search and is often handled with symmetry breaking constraints that remove as many equivalent solutions as possible. We propose an…