Using Symmetries to Lift Satisfiability Checking.

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker

Browse the full AAAI paper archive.