{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:23:43Z","timestamp":1742966623732,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319129815"},{"type":"electronic","value":"9783319129822"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12982-2_2","type":"book-chapter","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T06:26:34Z","timestamp":1413786394000},"page":"20-31","source":"Crossref","is-referenced-by-count":2,"title":["SAT-Based Metabolics Pathways Analysis without Compilation"],"prefix":"10.1007","author":[{"given":"Sabine","family":"Peres","sequence":"first","affiliation":[]},{"given":"Martin","family":"Morterol","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Simon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Audemard, G., Lagniez, J., Simon, L.: Just-in-time compilation of knowledge bases. In: 23rd International Joint Conference on Artificial Intelligence(IJCAI 2013), pp. 447\u2013453 (August 2013)","key":"2_CR1"},{"unstructured":"Audemard, G., Simon, L.: Predicting learnt clauses quality in modern sat solvers. In: IJCAI (2009)","key":"2_CR2"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1093\/bioinformatics\/btr674","volume":"28","author":"K. Ballerstein","year":"2012","unstructured":"Ballerstein, K., von Kamp, A., Klamt, S., Haus, U.: Minimal cut sets in a metabolic network are elementary modes in a dual network. Bioinformatics\u00a028(3), 381\u2013387 (2012)","journal-title":"Bioinformatics"},{"unstructured":"Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories. In: Biere et\u00a0al (eds.) [8], ch. 26, vol.\u00a0185, pp. 825\u2013885 (February 2009)","key":"2_CR4"},{"issue":"2","key":"2_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.3233\/AIC-2012-0523","volume":"25","author":"A. Belov","year":"2012","unstructured":"Belov, A., Lynce, I., Marques-Silva, J.: Towards efficient mus extraction. AI Communications\u00a025(2), 97\u2013116 (2012)","journal-title":"AI Communications"},{"unstructured":"Biere, A.: Bounded Model Checking. In: Biere, et al. (eds.) [8] ch. 14, vol.\u00a0185, pp. 455\u2013481 (2009)","key":"2_CR6"},{"doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without bdds (1999)","key":"2_CR7","DOI":"10.21236\/ADA360973"},{"unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol.\u00a0185. IOS Press (February 2009)","key":"2_CR8"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-31424-7_4","volume-title":"Computer Aided Verification","author":"A.R. Bradley","year":"2012","unstructured":"Bradley, A.R.: IC3 and beyond: Incremental, inductive verification. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 4\u20134. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. of AI Research, 229\u2013264 (2002)","key":"2_CR10","DOI":"10.1613\/jair.989"},{"key":"2_CR11","first-page":"394","volume":"5","author":"M. Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. JACM\u00a05, 394\u2013397 (1962)","journal-title":"JACM"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. JACM\u00a07, 201\u2013215 (1960)","journal-title":"JACM"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a0SAT, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Gagneur, J., Klamt, S.: Computation of elementary modes\u00a0: a unifying framework and the new binary approach. BMC Bioinformatics\u00a05(175) (2004)","key":"2_CR14","DOI":"10.1186\/1471-2105-5-175"},{"issue":"6-7","key":"2_CR15","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.parco.2011.04.002","volume":"37","author":"D. Jevremovic","year":"2011","unstructured":"Jevremovic, D., Trinh, C., Srienc, F., Sosa, C.P., Boley, D.: Parallelization of nullspace algorithm for the computation of metabolic pathways. Parallel Computing\u00a037(6-7), 261\u2013278 (2011)","journal-title":"Parallel Computing"},{"doi-asserted-by":"crossref","unstructured":"Jol, S.J., K\u00fcmmel, A., Terzer, M., Stelling, J., Heinemann, M.: System-level insights into yeast metabolism by thermodynamic analysis of elementary flux modes. PLoS Computational Biology\u00a08(3) (2012)","key":"2_CR16","DOI":"10.1371\/journal.pcbi.1002415"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.biosystems.2013.04.002","volume":"113","author":"C. Jungreuthmayer","year":"2013","unstructured":"Jungreuthmayer, C., Ruckerbauer, D.E., Zanghellini, J.: Regefmtool: Speeding up elementary flux mode calculation using transcriptional regulatory rules in the form of three-state logic. Biosystems\u00a0113(1), 37\u201339 (2013)","journal-title":"Biosystems"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"1872","DOI":"10.1101\/gr.090639.108","volume":"19","author":"C. Kaleta","year":"2009","unstructured":"Kaleta, C., De Figueiredo, L.F., Schuster, S.: Can the whole be less than the sum of its parts? pathway analysis in genome-scale metabolic networks using elementary flux patterns. Genome Research\u00a019, 1872\u20131883 (2009)","journal-title":"Genome Research"},{"unstructured":"Kautz, H., Selman, B.: Blackbox: A new approach to the application of theorem proving to problem solving. In: Working notes of the Workshop on Planning as Combinatorial Search, Held in Conjunction with AIPS 1998, pp. 58\u201360 (1998)","key":"2_CR19"},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1186\/1752-0509-1-2","volume":"1","author":"S. Klamt","year":"2007","unstructured":"Klamt, S., Saez-Rodriguez, J., Gilles, E.: Structural and functional analysis of cellular networks with cellnetanalyzer. BMC Systems Biology\u00a01(1), 2 (2007)","journal-title":"BMC Systems Biology"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1023\/A:1020390132244","volume":"29","author":"S. Klamt","year":"2002","unstructured":"Klamt, S., Stelling, J.: Combinatorial complexity of pathway anaysis in metabolic networks. Mol. Bio. Rep.\u00a029, 233\u2013236 (2002)","journal-title":"Mol. Bio. Rep."},{"unstructured":"Koshimura, M., Nabeshima, H., Fujita, H., Hasegawa, R.: Minimal model generation with respect to an atom set. In: International Workshop on First-Order Theorem Proving (2009)","key":"2_CR22"},{"doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proceedings of DAC, pp. 530\u2013535 (2001)","key":"2_CR23","DOI":"10.1145\/378239.379017"},{"issue":"5","key":"2_CR24","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1049\/ip-syb:20060013","volume":"153","author":"S. Peres","year":"2006","unstructured":"Peres, S., Beurton-Aimar, M., Mazat, J.P.: Pathway classification of tca cycle. IEE Journal for Systems Biology\u00a0153(5), 369\u2013371 (2006)","journal-title":"IEE Journal for Systems Biology"},{"issue":"3","key":"2_CR25","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1016\/j.biosystems.2010.12.001","volume":"103","author":"S. Peres","year":"2011","unstructured":"Peres, S., Vall\u00e9e, F., Beurton-Aimar, M., Mazat, J.P.: Acom: a classification method for elementary flux modes based on motif finding. Biosystems\u00a0103(3), 410\u2013419 (2011)","journal-title":"Biosystems"},{"unstructured":"Sang, T., Bacchus, F., Beame, P., Kautz, H.A., Pitassi, T.: Combining component caching and clause learning for effective model counting. In: Proc.\u00a0SAT (2004)","key":"2_CR26"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0167-7799(98)01290-6","volume":"17","author":"S. Schuster","year":"1999","unstructured":"Schuster, S., Dandekar, T., Fell, D.A.: Detection of elementary modes in biochemical networks\u00a0: A promising tool for pathway analysis and metabolic engineering. Trends Biotechnol.\u00a017, 53\u201360 (1999)","journal-title":"Trends Biotechnol."},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1038\/73786","volume":"18","author":"S. Schuster","year":"2000","unstructured":"Schuster, S., Fell, D.A., Dandekar, T.: A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nat. Biotechnol.\u00a018, 326\u2013332 (2000)","journal-title":"Nat. Biotechnol."},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1142\/S0218339094000131","volume":"2","author":"S. Schuster","year":"1994","unstructured":"Schuster, S., Hilgetag, C.: On elementary flux modes in biochemical reaction systems at steady state. Journal of Biological Systems\u00a02(2), 165\u2013182 (1994)","journal-title":"Journal of Biological Systems"},{"issue":"35","key":"2_CR30","doi-asserted-by":"publisher","first-page":"30751","DOI":"10.1074\/jbc.M501831200","volume":"280","author":"C. Schwimmer","year":"2005","unstructured":"Schwimmer, C., Lefebvre-Legendre, L., Rak, M., Devin, A., Slonimski, P., di Rago, J.P., Rigoulet, M.: Increasing mitochondrial substrate-level phosphorylation can rescue respiratory growth of an atp synthase-deficient yeast. J. Biol. Chem.\u00a0280(35), 30751\u201330759 (2005)","journal-title":"J. Biol. Chem."},{"unstructured":"Silva, J.P.M., Sakallah, K.A.: GRASP - a new search algorithm for satisfiability. In: Proceedings of ICCAD, pp. 220\u2013227 (1996)","key":"2_CR31"},{"unstructured":"American\u00a0Mathematical Society (ed.) Second DIMACS implementation challenge: cliques, coloring and satisfiability, vol. 26 (1996)","key":"2_CR32"},{"unstructured":"Soh, T., Inoue, K.: Identifying necessary reactions in metabolic pathways by minimal model generation. In: ECAI, pp. 277\u2013282 (2010)","key":"2_CR33"},{"unstructured":"Soh, T., Inoue, K., Baba, T., Takada, T., Shiroishi, T.: Predicting gene knockout effects by minimal pathway enumeration. In: BIOTECHNO 2012\u00a0: The Fourth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, pp. 11\u201319 (2012)","key":"2_CR34"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1038\/nature01166","volume":"420","author":"J. Stelling","year":"2002","unstructured":"Stelling, J., Klamt, S., Bettenbrock, K., Schuster, S., Gilles, E.D.: Metabolic network structure determines key aspect of functionnality and regulation. Nature\u00a0420, 190\u2013193 (2002)","journal-title":"Nature"},{"issue":"19","key":"2_CR36","doi-asserted-by":"publisher","first-page":"2229","DOI":"10.1093\/bioinformatics\/btn401","volume":"24","author":"M. Terzer","year":"2008","unstructured":"Terzer, M., Stelling, J.: Large-scale computation of elementary flux modes with bit pattern trees. Bioinformatics\u00a024(19), 2229\u20132235 (2008)","journal-title":"Bioinformatics"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-73433-8_12","volume-title":"Algebraic Biology","author":"A. Tiwari","year":"2007","unstructured":"Tiwari, A., Talcott, C., Knapp, M., Lincoln, P., Laderoute, K.: Analyzing pathways using SAT-based approaches. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol.\u00a04545, pp. 155\u2013169. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"von Kamp, A., Klamt, S.: Enumeration of smallest intervention strategies in genome-scale metabolic networks. PLoS Comput Biol 10(1), e1003378 (2014)","key":"2_CR38","DOI":"10.1371\/journal.pcbi.1003378"},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"1930","DOI":"10.1093\/bioinformatics\/btl267","volume":"22","author":"A. von Kamp","year":"2006","unstructured":"von Kamp, A., Schuster, S.: Metatool 5.0: Fast and flexible elementary modes analysis. Bioinformatics\u00a022, 1930\u20131931 (2006)","journal-title":"Bioinformatics"},{"unstructured":"Wieringa, S.: Incremental Satisfiability Solving and its Applications. PhD thesis, Aalto University (2014)","key":"2_CR40"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12982-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T14:28:15Z","timestamp":1675348095000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12982-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319129815","9783319129822"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12982-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}