Özgür Akgün, M. S. Chang, I. P. Gent, and C. Jefferson, “Faster Symmetry Breaking Constraints for Abstract Structures”, AAAI, vol. 40, no. 17, pp. 14132–14139, Mar. 2026.