conftrace_

threshold controlling algorithm

1 paper

Explore in graph

Also known as

TCA

Co-occurring keywords · papers mentioning both

depth-first proof-number search (1) molecular synthesis planning (1) diverse solution (1) two-player game (1)

Papers

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