conftrace_

depth-first proof-number search

1 paper

Explore in graph

Also known as

DFPN

Co-occurring keywords · papers mentioning both

molecular synthesis planning (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