Back to advisors
DA

Dr Arthur Gontier

School of Computing Science

University of Glasgow · United Kingdom

About

Anders, M. et al. (2026) Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables. In: 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), Singapore, 20-27 January 2026, pp. 14140-14148. ISBN 9781577359067 (doi: 10.1609/aaai.v40i17.38426)

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.