conftrace_

impartial game

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

combinatorial game (2) winning strategy (1) proof number search (1) impartial combinatorial game (1) linear integer arithmetic (1) grundy number (1) strategy synthesis (1) game tree (1) smt solver (1) parallel algorithm (1)

Papers

Massively Parallel Proof-Number Search for Impartial Games and Beyond AAAI 2026 Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers IJCAI 2020