conftrace_

molecular synthesis planning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

depth-first proof-number search (1) threshold controlling algorithm (1) diverse solution (1) two-player game (1)

Papers

Completeness and Diversity in Depth-First Proof-Number Search with Applications to Retrosynthesis IJCAI 2022