Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kaisheng Wu' in GoogleThis author has not been identified. Look up 'Liangda Fang' in GoogleThis author has not been identified. Look up 'Liping Xiong' in GoogleThis author has not been identified. Look up 'Zhao-Rong Lai' in GoogleThis author has not been identified. Look up 'Yong Qiao' in GoogleThis author has not been identified. Look up 'Kaidong Chen' in GoogleThis author has not been identified. Look up 'Fei Rong' in Google

runs on WebDSL