Login / Signup
Christopher Franz
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Fixed Number
Computational Complexity
Search Problems
Digital Libraries
Top Venues
IJCAI
</>
Publications
</>
Christopher Franz
,
Georg Mogk
,
Thomas Mrziglod
,
Kevin Schewior
Completeness and Diversity in Depth-First Proof-Number Search with Applications to Retrosynthesis.
IJCAI
(2022)