2 papers
cs.AI2024
The Complexity of Symmetry Breaking Beyond Lex-Leader
Markus Anders, Sofia Brenner, Gaurav Rattan
Symmetry breaking is a widely popular approach to enhance solvers in constraint programming, such as those for SAT or MIP. Symmetry breaking predicates (SBPs) typically impose an o…
cs.DS2024
satsuma: Structure-based Symmetry Breaking in SAT
Markus Anders, Sofia Brenner, Gaurav Rattan
Symmetry reduction is crucial for solving many interesting SAT instances in practice. Numerous approaches have been proposed, which try to strike a balance between symmetry reducti…