Depth-First Proof-Number Search with Heuristic Edge Cost and Application to Chemical Synthesis Planning.
Akihiro KishimotoBeat BuesserBei ChenAdi BoteaPublished in: NeurIPS (2019)
Keyphrases
- search algorithm
- heuristic search
- search strategy
- search effort
- iterative deepening
- tree search
- heuristic function
- search space
- forward search
- depth first search
- planning graph
- branch and bound search
- search strategies
- heuristic search algorithms
- optimal planning
- state space search
- beam search
- search costs
- total cost
- pattern databases
- decision support