Massively Parallel Proof-Number Search for Impartial Games and Beyond.

Toms Czek, Martin Balko, Martin Schmid

Browse the full AAAI paper archive.