Chen, Kaidong

1 publications

IJCAI 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