Yong Qiao

1 paper in the IJCAI proceedings

IJCAI 2020

Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers

with Kaisheng Wu, Liangda Fang, Liping Xiong, Zhao-Rong Lai, Kaidong Chen, Fei Rong

doi:10.24963/ijcai.2020/236

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings