Generalized Proof-Number Monte-Carlo Tree Search.

Jakub Kowalski, Dennis J. N. J. Soemers, Szymon Kosakowski, Mark H. M. Winands

Browse the full ECAI paper archive.