Anders, M.; Bogaerts, B.; Bogø, B.; Gontier, A.; Koops, W.; McCreesh, C.; Myreen, M. O.; Nordström, J.; Oertel, A.; Rebola-Pardo, A. Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables. AAAI 2026, 40, 14140-14148.