Akihiro Kishimoto, Martin Müller 0003. About the Completeness of Depth-First 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 146-156, Springer, 2008. [doi]
Abstract is missing.