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

Akihiro Kishimoto, Beat Buesser, Bei Chen, Adi Botea

Feb-12-2026, 03:28:31 GMT–Neural Information Processing Systems

Search is a core AI technique, especially in games [5, 27, 31] and domain-independent planning [3,12].

artificial intelligence, machine learning, reaction rule, (17 more...)

Neural Information Processing Systems

Feb-12-2026, 03:28:31 GMT

Conferences PDF

Country:
- Asia > Japan
  - Honshū > Kantō > Tokyo Metropolis Prefecture > Tokyo (0.04)
- Europe
  - Germany > Berlin (0.04)
  - Ireland (0.05)
- North America > Canada
  - British Columbia > Metro Vancouver Regional District > Vancouver (0.04)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning (1.00)
  - Representation & Reasoning > Search (0.70)

Duplicate Docs Excel Report

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

Similar Docs Excel Report more

Title	Similarity	Source
None found