Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT.

Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe

Browse the full SAT paper archive.