Akgün, Özgür, et al. “Faster Symmetry Breaking Constraints for Abstract Structures”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 17, Mar. 2026, pp. 14132-9, doi:10.1609/aaai.v40i17.38425.