Conference paperDepth-first proof-number search with heuristic edge cost and application to chemical synthesis planning