How to synthesize molecules is a fundamental and well studied problem in chemistry. However, computer aided methods are still under-utilized in chemical synthesis planning. Given a specific chemistry (a set of chemical reactions), and a specified overall chemical mechanism, a number of exploratory questions are of interest to a chemist. Examples include: what products are obtainable, how to find a minimal number of reactions to synthesize a certain chemical compound, and how to map a specific chemistry to a mechanism. We present a Constraint Programming based approach to these problems and employ the expressive power of Satisfiability Modulo Theory (SMT) solvers. We show results for an analysis of the Pentose Phosphate Pathway and the Biosynthesis of 3-Hydroxypropanoate. The main novelty of the paper lies in the usage of SMT for expressing search problems in chemistry, and in the generality of its resulting computer aided method for synthesis planning. © 2012 Springer-Verlag.
CITATION STYLE
Fagerberg, R., Flamm, C., Merkle, D., & Peters, P. (2012). Exploring chemistry using SMT. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7514 LNCS, pp. 900–915). https://doi.org/10.1007/978-3-642-33558-7_64
Mendeley helps you to discover research relevant for your work.