NIPS Proceedingsβ

Akihiro Kishimoto

2 Papers

  • Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning (2019)
  • Parallel Recursive Best-First AND/OR Search for Exact MAP Inference in Graphical Models (2015)