About the Completeness of Depth-First Proof-Number Search

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]

Authors

Akihiro Kishimoto

This author has not been identified. Look up 'Akihiro Kishimoto' in Google

Martin Müller 0003

This author has not been identified. Look up 'Martin Müller 0003' in Google