Carbonnelle, P., Schenner, G., Bruynooghe, M., Bogaerts, B. and Denecker, M. 2024. Using Symmetries to Lift Satisfiability Checking. Proceedings of the AAAI Conference on Artificial Intelligence. 38, 8 (Mar. 2024), 7961-7968. DOI:https://doi.org/10.1609/aaai.v38i8.28633.