M. Anders, “Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables”, AAAI, vol. 40, no. 17, pp. 14140–14148, Mar. 2026.