Experimental comparison shows solver-dependent performance of polynomial symmetry breakers on bin-packing problems, recommending solver-aware evaluation.
Advances in Symmetry Break- ing for SAT Modulo Theories.arXiv preprint arXiv:1908.00860, 2019
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.