Čížek, Tomáš, Martin Balko, and Martin Schmid. 2026. “Massively Parallel Proof-Number Search for Impartial Games and Beyond”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (43):36838-46. https://doi.org/10.1609/aaai.v40i43.41010.