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

Browse the full IJCAI paper archive.