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…