P. Carbonnelle, G. Schenner, M. Bruynooghe, B. Bogaerts, and M. Denecker, “Using Symmetries to Lift Satisfiability Checking”, AAAI, vol. 38, no. 8, pp. 7961-7968, Mar. 2024.