Kaidong Chen

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Eigenvalue Problems

Proof Procedures

Winning Strategy

Top Venues

Publications

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