Login / Signup
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers.
Kaisheng Wu
Liangda Fang
Liping Xiong
Zhao-Rong Lai
Yong Qiao
Kaidong Chen
Fei Rong
Published in:
IJCAI (2020)
Keyphrases
</>
eigenvalue problems
human players
modulo theories
fully automatic
semi automatic
mixed strategy
video games
game design
repeated games
program synthesis
test beds
game theory
computer games
sat solvers
educational games
learning agents
perfect information
two player games
information retrieval