Kazuki Yoshizoe. A New Proof-Number Calculation Technique for Proof-Number Search. In H. Jaap van den Herik, Xinhe Xu, Zongmin Ma, Mark H. M. Winands, editors, Computers and Games, 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings. Volume 5131 of Lecture Notes in Computer Science, pages 135-145, Springer, 2008. [doi]
Abstract is missing.