Anders M, Bogaerts B, Bogø B, Gontier A, Koops W, McCreesh C, et al. Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 15];40(17):14140-8. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/38426