{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T14:28:13Z","timestamp":1774621693737,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540734321","type":"print"},{"value":"9783540734338","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73433-8_12","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T14:36:40Z","timestamp":1186843000000},"page":"155-169","source":"Crossref","is-referenced-by-count":20,"title":["Analyzing Pathways Using SAT-Based Approaches"],"prefix":"10.1007","author":[{"given":"Ashish","family":"Tiwari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Merrill","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Lincoln","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Laderoute","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Bhalla, U.S., Iyengar, R.: Robustness of the bistable behavior of a biological signalling feedback loop. Chaos 11(1) (2001)","DOI":"10.1063\/1.1350440"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bhalla, U.S., Ram, P.T., Iyengar, R.: MAP kinase phosphatase as a locus of flexibility in a Mitogen-Activated Protein kinase signaling network. Science 297 (2002)","DOI":"10.1126\/science.1068873"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11817963_11","volume-title":"Computer Aided Verification","author":"B. Dutertre","year":"2006","unstructured":"Dutertre, B., de Moura, L.M.: A fast linear-arithmetic solver for dpll(t). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 81\u201394. Springer, Heidelberg (2006)"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04(2), 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1093\/nar\/gki108","volume":"33","author":"I.M. Keseler","year":"2005","unstructured":"Keseler, I.M., Collado-Vides, J., Gama-Castro, S., Ingraham, J., Paley, S., Paulsen, I.T., Peralta-Gil, M., Karp, P.D.: EcoCyc: A comprehensive database resource for Escherichia coli. Nucleic Acids Research\u00a033, D334\u2013D347 (2005)","journal-title":"Nucleic Acids Research"},{"key":"12_CR6","volume-title":"Microbiology","author":"L.M. Prescott","year":"2002","unstructured":"Prescott, L.M., Klein, D.A., Harley, J.P.: Microbiology. McGraw-Hill, New York (2002)"},{"issue":"R2","key":"12_CR7","first-page":"1","volume":"6","author":"P. Romero","year":"2004","unstructured":"Romero, P., Wagg, J., Green, M.L., Kaiser, D., Krummenacker, M., Karp, P.D.: Computational prediction of human metabolic pathways from the complete human genome. Genome Biology\u00a06(R2), 1\u201317 (2004)","journal-title":"Genome Biology"},{"key":"12_CR8","series-title":"Lecture Notes in Bioinformatics","volume-title":"Computational Methods in Systems Biology","author":"J. Senachak","year":"2006","unstructured":"Senachak, J., Vestergaard, M., Vestergaard, R.: Rewriting game theory and protein signalling in MAPK cascades. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, Springer, Heidelberg (2006)"},{"key":"12_CR9","unstructured":"Shankland, C., Tran, N., Baral, C., Kolch, W.: Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (2005)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1146\/annurev.genet.30.1.297","volume":"30","author":"P. Stragier","year":"1996","unstructured":"Stragier, P., Losick, R.: Molecular genetics of sporulation in bacillus subtilis. Annu. Rev. Genet.\u00a030, 297\u2013341 (1996)","journal-title":"Annu. Rev. Genet."},{"key":"12_CR11","unstructured":"Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Proceedings of the Pacific Symposium on Biocomputing (January 2004)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Talcott, C.: Symbolic modeling of signal transduction in pathway logic. In: Perrone, L.F., Wieland, F.P., Liu, J., Lawson, B.G., Nicol, D.M., Fujimoto, R.M. (eds.) 2006 Winter Simulation Conference (2006)","DOI":"10.1109\/WSC.2006.322940"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11880646_10","volume":"4220","author":"C. Talcott","year":"2006","unstructured":"Talcott, C., Dill, D.L.: Multiple representations of biological processes. Transactions on Computational Systems Biology VI\u00a04220, 221\u2013245 (2006)","journal-title":"Transactions on Computational Systems Biology VI"},{"key":"12_CR14","unstructured":"Yices home page, \n                  \n                    http:\/\/yices.csl.sri.com\/"}],"container-title":["Lecture Notes in Computer Science","Algebraic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73433-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:14:34Z","timestamp":1605762874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73433-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540734321","9783540734338"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73433-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}