Automatic synthesis of generalized winning strategies of impartial combinatorial games (CCF B)

Kaisheng Wu, Yong Qiao, Kaidong Chen, Fei Rong, Liangda Fang, Zhao Rong Lai, Qian Dong, Liping Xiong

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Automatic synthesis of generalized winning strategies of impartial combinatorial games (CCF B)'. Together they form a unique fingerprint.

Computer Science