We got three papers accepted by AAAI 2021

AAAI Conference on Artificial Intelligence (AAAI) is a top conference in AI. Our group got three papers accepted by AAAI 2021. They are:

1. An Improved Upper Bound for SAT, by Huairui Chu (undergraduate student), Mingyu Xiao, and Zhe Zhang (undergraduate student).
2. Enhancing Balanced Graph Edge Partition with Effective Local Search, by Zhenyu Guo (master student), Mingyu Xiao, Yi Zhou, Dongxiang Zhang, and Kian-Lee Tan
3. Improving Maximum k-plex Solver via Second-Order Reduction and Graph Color Bounding, by Yi Zhou, Shan Hu (master student), Mingyu Xiao, and Zhang-Hua Fu