conftrace_

impartial combinatorial game

1 paper

Explore in graph

Also known as

ICG

Co-occurring keywords · papers mentioning both

linear integer arithmetic (1) impartial game (1) winning strategy (1) combinatorial game (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