Dančo, M., Janota, M., Codish, M. and Araújo, J.J. 2025. Complete Symmetry Breaking for Finite Models. Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11 (Apr. 2025), 11194-11202. DOI:https://doi.org/10.1609/aaai.v39i11.33217.