Anders, Markus, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, et al. “Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 17 (March 14, 2026): 14140–14148. Accessed May 15, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/38426.