2k citations
2 papers
cs.PL2019★ 3 cited
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Jan C. Dageförde, Finn Teegen
In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the n…
cs.AI2017★ 2k cited
Learning to Plan Chemical Syntheses
Marwin H. S. Segler, Mike Preuss, Mark P. Waller
From medicines to materials, small organic molecules are indispensable for human well-being. To plan their syntheses, chemists employ a problem solving technique called retrosynthe…