Satsuma: Structure-Based Symmetry Breaking in SAT.

Markus Anders, Sofia Brenner, Gaurav Rattan

Browse the full SAT paper archive.