conftrace_

winning strategy

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

impartial game (1) combinatorial game (1) impartial combinatorial game (1) linear integer arithmetic (1) strategy synthesis (1) smt solver (1) game theory (1)

Papers

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