conftrace_

grundy number

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof number search (1) impartial game (1) combinatorial game (1) game tree (1) parallel algorithm (1)

Papers

Massively Parallel Proof-Number Search for Impartial Games and Beyond AAAI 2026