@inproceedings{depthfirstproofnumbersearchwith,
  title = {Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning},
  author = {Akihiro Kishimoto and Beat Buesser and Bei Chen and Adi Botea},
  year = {2019},
  booktitle = {NeurIPS 2019 12},
  url = {http://papers.nips.cc/paper/8943-depth-first-proof-number-search-with-heuristic-edge-cost-and-application-to-chemical-synthesis-planning},
}