Akgün, Özgür, Mun See Chang, Ian P. Gent, and Christopher Jefferson. 2026. “Faster Symmetry Breaking Constraints for Abstract Structures”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (17):14132-39. https://doi.org/10.1609/aaai.v40i17.38425.