Dr Arthur Gontier

School of Computing Science

简介

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)

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。