Carbonnelle, Pierre, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, and Marc Denecker. 2024. “Using Symmetries to Lift Satisfiability Checking”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (8):7961-68. https://doi.org/10.1609/aaai.v38i8.28633.