{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:35:53Z","timestamp":1762101353437},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335570"},{"type":"electronic","value":"9783642335587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_64","type":"book-chapter","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T02:32:47Z","timestamp":1349231567000},"page":"900-915","source":"Crossref","is-referenced-by-count":2,"title":["Exploring Chemistry Using SMT"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Fagerberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Flamm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Merkle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Peters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"64_CR1","doi-asserted-by":"crossref","unstructured":"Abbass, H., Wiggins, G., Lakshmanan, R., Morton, B.: Heat exchanger network retrofit by constraint logic programming. Computers in Chemical Engineering (1999)","DOI":"10.1016\/S0098-1354(99)80033-7"},{"key":"64_CR2","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1186\/1759-2208-3-1"},{"issue":"1","key":"64_CR3","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1162\/artl.2009.15.1.15105","volume":"15","author":"G. Benk\u00f6","year":"2009","unstructured":"Benk\u00f6, G., Centler, F., Dittrich, P., Flamm, C., Stadler, B., Stadler, P.: A topological approach to chemical organizations. Artificial Life\u00a015(1), 71\u201388 (2009)","journal-title":"Artificial Life"},{"key":"64_CR4","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1002\/wcms.61","volume":"2","author":"A. Cook","year":"2012","unstructured":"Cook, A., Johnson, A.P., Law, J., Mirzazadeh, M., Ravitz, O., Simon, A.: Computer-aided synthesis design: 40 years on. WIREs Comput. Mol. Sci.\u00a02, 79\u2013107 (2012)","journal-title":"WIREs Comput. Mol. Sci."},{"key":"64_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1351\/pac196714010019","volume":"14","author":"E.J. Corey","year":"1967","unstructured":"Corey, E.J.: General methods for the construction of complex molecules. Pure Appl. Chem.\u00a014, 19\u201338 (1967)","journal-title":"Pure Appl. Chem."},{"key":"64_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"3","key":"64_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1162\/106454601753238636","volume":"7","author":"P. Dittrich","year":"2001","unstructured":"Dittrich, P., Ziegler, J., Banzhaf, W.: Artificial chemistries - a review. Artificial Life\u00a07(3), 225\u2013275 (2001)","journal-title":"Artificial Life"},{"key":"64_CR8","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1186\/1759-2208-1-4"},{"key":"64_CR9","unstructured":"Graph grammar library, http:\/\/www.tbi.univie.ac.at\/~xtof\/software\/GGL\/"},{"issue":"3","key":"64_CR10","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1002\/bit.22673","volume":"106","author":"C. Henry","year":"2010","unstructured":"Henry, C., Broadbelt, L., Hatzimanikatis, V.: Discovery and analysis of novel metabolic pathways for the biosynthesis of industrial chemicals: 3-hydroxypropanoate. Biotechnology and Bioengineering\u00a0106(3), 462\u2013473 (2010)","journal-title":"Biotechnology and Bioengineering"},{"issue":"6","key":"64_CR11","doi-asserted-by":"publisher","first-page":"995","DOI":"10.1007\/s00253-009-1898-7","volume":"82","author":"X. Jiang","year":"2009","unstructured":"Jiang, X., Meng, X., Xian, M.: Biosynthetic pathways for 3-hydroxypropionic acid production. Applied Microbiology and Biotechnology\u00a082(6), 995\u20131003 (2009)","journal-title":"Applied Microbiology and Biotechnology"},{"issue":"3","key":"64_CR12","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/S1369-5266(03)00039-6","volume":"6","author":"N. Kruger","year":"2003","unstructured":"Kruger, N., von Schaewen, A.: The oxidative pentose phosphate pathway: structure and organisation. Current Opinion in Plant Biology\u00a06(3), 236\u2013246 (2003)","journal-title":"Current Opinion in Plant Biology"},{"key":"64_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-22110-1_46","volume-title":"Computer Aided Verification","author":"H. Kugler","year":"2011","unstructured":"Kugler, H., Plock, C., Roberts, A.: Synthesizing Biological Theories. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 579\u2013584. Springer, Heidelberg (2011)"},{"issue":"4","key":"64_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.ymben.2004.05.001","volume":"6","author":"A. Maris","year":"2004","unstructured":"Maris, A., Konings, W., Dijken, J., Pronk, J.: Microbial export of lactic and 3-hydroxypropanoic acid: implications for industrial fermentation processes. Metabolic Engineering\u00a06(4), 245\u2013255 (2004)","journal-title":"Metabolic Engineering"},{"key":"64_CR15","unstructured":"McNaught, A., Wilkinson, A.: IUPAC compendium of chemical terminology, vol\u00a02. Blackwell Scientific Publications (1997)"},{"key":"64_CR16","unstructured":"Nelson, D., Cox, M.: Lehninger Biochemie. Springer (2005)"},{"issue":"1","key":"64_CR17","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1093\/nar\/27.1.29","volume":"27","author":"H. Ogata","year":"1999","unstructured":"Ogata, H., Goto, S., Sato, K., Fujibuchi, W., Bono, H., Kanehisa, M.: Kegg: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research\u00a027(1), 29 (1999)","journal-title":"Nucleic Acids Research"},{"key":"64_CR18","unstructured":"Ranise, S., Tinelli, C.: The SMT-LIB standard: Version 1.2. Department of Computer Science, The University of Iowa, Tech. Rep. (2006)"},{"key":"64_CR19","unstructured":"Suthers, P., Cameron, D., et al.: Production of 3-hydroxypropionic acid in recombinant organisms. US Patent 6,852,517 (February 8, 2005)"},{"key":"64_CR20","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1039\/b104620a","volume":"34","author":"M.H. Todd","year":"2005","unstructured":"Todd, M.H.: Computer-aided organic synthesis. Chem. Soc. Rev.\u00a034, 247\u2013266 (2005)","journal-title":"Chem. Soc. Rev."},{"issue":"2","key":"64_CR21","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s00253-004-1733-0","volume":"66","author":"T. Willke","year":"2004","unstructured":"Willke, T., Vorlop, K.: Industrial bioconversion of renewable resources as an alternative to conventional chemistry. Applied Microbiology and Biotechnology\u00a066(2), 131\u2013142 (2004)","journal-title":"Applied Microbiology and Biotechnology"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33558-7_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T23:52:16Z","timestamp":1714434736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}