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 […]