Lambda Depth-First Proof Number Search and Its Application to Go.

Kazuki Yoshizoe, Akihiro Kishimoto, Martin Mller

Browse the full IJCAI paper archive.