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

> Research article (Neural Information Processing Systems, 2019) · cited 28× · AI/ML

**Wikidata**: [openalex:W2970365156](https://www.wikidata.org/wiki/openalex:W2970365156)  
**Source**: https://4ort.xyz/entity/depth-first-proof-number-search-with-heuristic-edge-cost-and-application-to-chemical-synthesis-planning