Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games. - Kaisheng Wu; Yong Qiao; Kaidong Chen; Fei Rong; Liangda Fang; Zhao-Rong Lai; Qian Dong; Liping Xiong (AAMAS, 2020)

Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers. - Kaisheng Wu; Liangda Fang; Liping Xiong; Zhao-Rong Lai; Yong Qiao; Kaidong Chen; Fei Rong (IJCAI, 2020)

Faster-PPN: Towards Real-Time Semantic Segmentation with Dual Mutual Learning for Ultra-High Resolution Images. - Bicheng Dai; Kaisheng Wu; Tong Wu; Kai Li 012; Yanyun Qu; Yuan Xie 006; Yun Fu 001 (ACM Multimedia, 2021)