Experimental comparison shows solver-dependent performance of polynomial symmetry breakers on bin-packing problems, recommending solver-aware evaluation.
In Christel Baier and Cesare Tinelli, editors,Tools and Algorithms for the Construction and Analysis of Systems, pages 194–199, Berlin, Heidelberg, 2015
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study
Experimental comparison shows solver-dependent performance of polynomial symmetry breakers on bin-packing problems, recommending solver-aware evaluation.