Kaidong Chen

According to our database, Kaidong Chen authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

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

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020