Akgün, Özgür; Chang, M. S.; Gent, I. P.; Jefferson, C. Faster Symmetry Breaking Constraints for Abstract Structures. AAAI 2026, 40, 14132-14139.