Massively Parallel Proof-Number Search for Impartial Games and Beyond

Tomáš Čížek, Martin Balko, Martin Schmid

Proof-Number Search is a best-first search algorithm with many successful applications, especially in game solving. As large-scale computing clusters become increasingly accessible…