NIPS Proceedingsβ

Beat Buesser

1 Paper

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