Author of the publication

About the Completeness of Depth-First Proof-Number Search.

, and . Computers and Games, volume 5131 of Lecture Notes in Computer Science, page 146-156. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dynamic Decomposition Search: A Divide and Conquer Approach and its Application to the One-Eye Problem in Go., and . CIG, IEEE, (2005)About the Completeness of Depth-First Proof-Number Search., and . Computers and Games, volume 5131 of Lecture Notes in Computer Science, page 146-156. Springer, (2008)GT4SD: Generative Toolkit for Scientific Discovery., , , , , , , , , and 14 other author(s). CoRR, (2022)Recursive Best-First AND/OR Search for Optimization in Graphical Models., and . UAI, page 400-409. AUAI Press, (2014)Accelerated UCT and Its Application to Two-Player Games., , , and . ACG, volume 7168 of Lecture Notes in Computer Science, page 1-12. Springer, (2011)Solving Checkers., , , , , , , and . IJCAI, page 292-297. Professional Book Center, (2005)Monte Carlo Go Has a Way to Go., , , , and . AAAI, page 1070-1075. AAAI Press, (2006)Foundation Model for Material Science., , , , and . AAAI, page 15376-15383. AAAI Press, (2023)Search versus Knowledge for Solving Life and Death Problems in Go., and . AAAI, page 1374-1379. AAAI Press / The MIT Press, (2005)Lambda Depth-First Proof Number Search and Its Application to Go., , and . IJCAI, page 2404-2409. (2007)