Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson. Faster Symmetry Breaking Constraints for Abstract Structures. In Sven Koenig, Chad Jenkins, Matthew E. Taylor, editors, Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026. pages 14132-14139, AAAI Press, 2026. [doi]
Abstract is missing.