Login / Signup
Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games.
Kaisheng Wu
Yong Qiao
Kaidong Chen
Fei Rong
Liangda Fang
Zhao-Rong Lai
Qian Dong
Liping Xiong
Published in:
AAMAS (2020)
Keyphrases
</>
winning strategy
proof procedures
database
data exchange