Recently, we have three papers accepted by IJCAI, SAT and ICML.

International Joint Conferences on Artificial Intelligence (IJCAI) is a top conference in AI. Our group got one paper accepted by IJCAI 2021.

The International Conferences on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. Our group got one paper accepted by SAT 2021.

The International Conference on Machine Learning (ICML) is the premier gathering of professionals dedicated to the advancement of the branch of artificial intelligence known as machine learning. Our group got one paper accepted by ICML 2021.

The three papers are:
1. The Traveling Tournament Problem with Maximum Tour Length Two: A Practical Algorithm with An Improved Approximation Bound, by Jingyang Zhao (master student), Mingyu Xiao.
2. A Fast Algorithm for SAT in Terms of Formula Length, by Junqiang Peng (undergraduate student), Mingyu Xiao.
3. From Local to Global Norm Emergence: Dissolving Self-reinforcing Substructures with Incremental Social Instruments, by Yiwei Liu, Jiamou Liu, KaibinWan, Zhan Qin, Zijian Zhang, Bakh Khoussainov, Liehuang Zhu.