Improved Static Symmetry Breaking for SAT.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker

Browse the full SAT paper archive.