conftrace_

linear integer arithmetic

1 paper

Explore in graph

Also known as

LIA

Co-occurring keywords · papers mentioning both

impartial combinatorial game (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