Exploring Chemistry Using SMT
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.
KeywordsReaction Mechanism Pentose Phosphate Pathway Vector Representation Rule Mapping Constraint Logic Programming
Unable to display preview. Download preview PDF.
- 1.Abbass, H., Wiggins, G., Lakshmanan, R., Morton, B.: Heat exchanger network retrofit by constraint logic programming. Computers in Chemical Engineering (1999)Google Scholar
- 2.Andersen, J., Flamm, C., Merkle, D., Stadler, P.: Maximizing output and recognizing autocatalysis in chemical reaction networks is NP-complete. Journal of Systems Chemistry 3(1) (2012)Google Scholar
- 8.Flamm, C., Ullrich, A., Ekker, H., Mann, M., Hogerl, D., Rohrschneider, M., Sauer, S., Scheuermann, G., Klemm, K., Hofacker, I., Stadler, P.F.: Evolution of metabolic networks: A computational frame-work. Journal of Systems Chemistry 1(4) (2010)Google Scholar
- 9.Graph grammar library, http://www.tbi.univie.ac.at/~xtof/software/GGL/
- 10.Henry, C., Broadbelt, L., Hatzimanikatis, V.: Discovery and analysis of novel metabolic pathways for the biosynthesis of industrial chemicals: 3-hydroxypropanoate. Biotechnology and Bioengineering 106(3), 462–473 (2010)Google Scholar
- 15.McNaught, A., Wilkinson, A.: IUPAC compendium of chemical terminology, vol 2. Blackwell Scientific Publications (1997)Google Scholar
- 16.Nelson, D., Cox, M.: Lehninger Biochemie. Springer (2005)Google Scholar
- 18.Ranise, S., Tinelli, C.: The SMT-LIB standard: Version 1.2. Department of Computer Science, The University of Iowa, Tech. Rep. (2006)Google Scholar
- 19.Suthers, P., Cameron, D., et al.: Production of 3-hydroxypropionic acid in recombinant organisms. US Patent 6,852,517 (February 8, 2005)Google Scholar