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