Čížek, T.; Balko, M.; Schmid, M. Massively Parallel Proof-Number Search for Impartial Games and Beyond. AAAI 2026, 40, 36838-36846.