Carbonnelle, P.; Schenner, G.; Bruynooghe, M.; Bogaerts, B.; Denecker, M. Using Symmetries to Lift Satisfiability Checking. AAAI 2024, 38, 7961-7968.