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. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 1703-1711, ijcai.org, 2020. [doi]
@inproceedings{WuFXLQCR20, title = {Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers}, author = {Kaisheng Wu and Liangda Fang and Liping Xiong and Zhao-Rong Lai and Yong Qiao and Kaidong Chen and Fei Rong}, year = {2020}, doi = {10.24963/ijcai.2020/236}, url = {https://doi.org/10.24963/ijcai.2020/236}, researchr = {https://researchr.org/publication/WuFXLQCR20}, cites = {0}, citedby = {0}, pages = {1703-1711}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]}, editor = {Christian Bessiere}, publisher = {ijcai.org}, }