Beat Buesser

Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning

Search techniques, such as Monte Carlo Tree Search (MCTS) and Proof-Number Search (PNS), are effective in playing and solving games. However, the understanding of their performance in industrial applications is still limited. We investigate MCTS and Depth-First Proof-Number (DFPN) Search, a PNS va…