@inproceedings{ijcai2020p236, title = {Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers}, author = {Wu, Kaisheng and Fang, Liangda and Xiong, Liping and Lai, Zhao-Rong and Qiao, Yong and Chen, Kaidong and Rong, Fei}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI-20}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Christian Bessiere}, pages = {1703--1711}, year = {2020}, month = {7}, note = {Main track}, doi = {10.24963/ijcai.2020/236}, url = {https://doi.org/10.24963/ijcai.2020/236}, }