Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT.

Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears

Browse the full ICTAI paper archive.