{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:01:56Z","timestamp":1755795716907,"version":"3.44.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032014351"},{"type":"electronic","value":"9783032014368"}],"license":[{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T00:00:00Z","timestamp":1755561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-01436-8_5","type":"book-chapter","created":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T03:24:30Z","timestamp":1755487470000},"page":"69-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Looking for\u00a0Signs: Reasoning About FOBNNs Using SAT"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0829-5056","authenticated-orcid":false,"given":"Hans-J\u00f6rg","family":"Schurr","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5062-7993","authenticated-orcid":false,"given":"Ath\u00e9na\u00efs","family":"Vaginay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,19]]},"reference":[{"issue":"11","key":"5_CR1","doi-asserted-by":"publisher","first-page":"113","DOI":"10.3390\/computation9110113","volume":"9","author":"E Allart","year":"2021","unstructured":"Allart, E., Niehren, J., Versari, C.: Exact Boolean abstraction of linear equation systems. Computation 9(11), 113 (2021). https:\/\/doi.org\/10.3390\/computation9110113","journal-title":"Computation"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.artint.2016.08.007","volume":"241","author":"T Balyo","year":"2016","unstructured":"Balyo, T., Biere, A., Iser, M., Sinz, C.: Sat race 2015. Artif. Intell. 241, 45\u201365 (2016). https:\/\/doi.org\/10.1016\/j.artint.2016.08.007","journal-title":"Artif. Intell."},{"issue":"9","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1476","DOI":"10.1124\/dmd.107.015636","volume":"35","author":"K Bartholom\u00e9","year":"2007","unstructured":"Bartholom\u00e9, K., Rius, M., Letschert, K., Keller, D., Timmer, J., Keppler, D.: Data-based mathematical modeling of vectorial transport across double-transfected polarized cells. Drug Metabol. Dispos. Biol. Fate Chem. 35(9), 1476\u20131481 (2007). https:\/\/doi.org\/10.1124\/dmd.107.015636","journal-title":"Drug Metabol. Dispos. Biol. Fate Chem."},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Biere, A., Kr\u00f6ning, D.: SAT-Based Model Checking, pp. 277\u2013303. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_10","DOI":"10.1007\/978-3-319-10575-8_10"},{"key":"5_CR5","unstructured":"Biere, A., Fazekas, K., Fleury, M., Heisinger, M.: Cadical, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020. In: Balyo, T., Froleyks, N., Heule, M., Iser, M., J\u00e4rvisalo, M., Suda, M., eds. Proceedings of SAT Competition 2020 \u2013 Solver and Benchmark Descriptions, vol. B-2020-1, Department of Computer Science Report Series B, pp. 51\u201353. University of Helsinki (2020)"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805\u20131807. https:\/\/doi.org\/10.1093\/bioinformatics\/btl172, https:\/\/academic.oup.com\/bioinformatics\/article\/22\/14\/1805\/227285","DOI":"10.1093\/bioinformatics\/btl172"},{"issue":"5","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E Dubrova","year":"2011","unstructured":"Dubrova, E., Teslenko, M.: A SAT-based algorithm for finding attractors in synchronous Boolean networks. IEEE\/ACM Trans. Comput. Biol. Bioinf. 8(5), 1393\u20131399 (2011). https:\/\/doi.org\/10.1109\/TCBB.2010.20","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinf."},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoret. Comput. Sci. 403(1), 52\u201370 (2008). https:\/\/doi.org\/10.1016\/j.tcs.2008.04.024","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1016\/j.phpro.2011.11.102","volume":"22","author":"H Wensong","year":"2011","unstructured":"Wensong, H., Zhu, Y., Lei, J.: The detection and prevention of deadlock in Petri Nets. Phys. Procedia 22, 656\u2013659 (2011). https:\/\/doi.org\/10.1016\/j.phpro.2011.11.102","journal-title":"Phys. Procedia"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Ignatiev, A., Morgado, A., Marques-Silva, J.: PySAT: a python toolkit for prototyping with SAT oracles. In: Beyersdorff, O., Wintersteiger, C.M. (eds.) Theory and Applications of Satisfiability Testing \u2013 SAT 2018, vol. 10929, pp. 428\u2013437. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94144-8_26","DOI":"10.1007\/978-3-319-94144-8_26"},{"issue":"14","key":"5_CR11","doi-asserted-by":"publisher","first-page":"4781","DOI":"10.1073\/pnas.0305937101","volume":"101","author":"F Li","year":"2004","unstructured":"Li, F., Long, T., Ying, L., Ouyang, Q., Tang, C.: The yeast cell-cycle network is robustly designed. Proc. Natl. Acad. Sci. U.S.A. 101(14), 4781\u20134786 (2004). https:\/\/doi.org\/10.1073\/pnas.0305937101","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Malik-Sheriff, R.S., et al.: BioModels\u201415 years of sharing computational models in life science. Nucl. Acids Res. p. gkz1055, November 2019. https:\/\/doi.org\/10.1093\/nar\/gkz1055","DOI":"10.1093\/nar\/gkz1055"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Niehren, J., Lhoussaine, C., Vaginay, A.: Core SBML and its formal semantics. In: Pang, J., Niehren, J., (eds.) Computational Methods in Systems Biology, vol. 14137, pp. 124\u2013143. Springer Nature Switzerland, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42697-1_9","DOI":"10.1007\/978-3-031-42697-1_9"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Niehren, J., Vaginay, A., Versari, C.: Abstract Simulation of Reaction Networks via Boolean Networks. Petre, I., P\u0103un, A. (eds.) Computational Methods in Systems Biology. CMSB 2022. LNCS, vol. 13447, pp. 21\u201340. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15034-0_2","DOI":"10.1007\/978-3-031-15034-0_2"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"4256","DOI":"10.1038\/s41467-020-18112-5","volume":"11","author":"L Paulev\u00e9","year":"2020","unstructured":"Paulev\u00e9, L., Kol\u010d\u00e1k, J., Chatain, T., Haar, S.: Reconciling qualitative, abstract, and scalable modeling of biological networks. Nat. Commun. 11(1), 4256 (2020). https:\/\/doi.org\/10.1038\/s41467-020-18112-5","journal-title":"Nat. Commun."},{"issue":"19","key":"5_CR16","doi-asserted-by":"publisher","first-page":"4042","DOI":"10.1158\/0008-5472.CAN-15-0602","volume":"75","author":"E Remy","year":"2015","unstructured":"Remy, E., Rebouissou, S., Chaouiya, C., Zinovyev, A., Radvanyi, F., Calzone, L.: A modeling approach to explain mutually exclusive and co-occurring genetic alterations in bladder tumorigenesis. Can. Res. 75(19), 4042\u20134052 (2015). https:\/\/doi.org\/10.1158\/0008-5472.CAN-15-0602","journal-title":"Can. Res."},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Schwab, J.D., K\u00fchlwein, S.D., Ikonomi, N., K\u00fchl, M., Kestler, H.A.: Concepts in Boolean network modeling: what do they all mean? Comput. Struct. Biotechnol. J. 18, 571\u2013582 (2020). https:\/\/doi.org\/10.1016\/j.csbj.2020.03.001, https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S200103701930460X","DOI":"10.1016\/j.csbj.2020.03.001"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Soh, T., Magnin, M., Le\u00a0Berre, D., Banbara, M., Tamura, N.: SAT-based method for finding attractors in asynchronous multi-valued networks. In: Fred, A., Gamboa, H., (eds.) BIOINFORMATICS 2023, Lisbon, Portugal, February 2023. SCITEPRESS (2023)","DOI":"10.5220\/0011675100003414"},{"issue":"6","key":"5_CR19","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1093\/bioinformatics\/btaa752","volume":"37","author":"S Cui","year":"2021","unstructured":"Cui, S., Pang, J.: CABEAN: a software for the control of asynchronous Boolean networks. Bioinformatics 37(6), 879\u2013881 (2021). https:\/\/doi.org\/10.1093\/bioinformatics\/btaa752","journal-title":"Bioinformatics"},{"issue":"26","key":"5_CR20","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.ifacol.2019.12.232","volume":"52","author":"G Terje Lines","year":"2019","unstructured":"Terje Lines, G., Paszkowski, \u0141, Schmiester, L., Weindl, D., Stapor, P., Hasenauer, J.: Efficient computation of steady states in large-scale ODE models of biochemical reaction networks. IFAC 52(26), 32\u201337 (2019). https:\/\/doi.org\/10.1016\/j.ifacol.2019.12.232","journal-title":"IFAC"}],"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-032-01436-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,18]],"date-time":"2025-08-18T03:24:32Z","timestamp":1755487472000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-01436-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,19]]},"ISBN":["9783032014351","9783032014368"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-01436-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,19]]},"assertion":[{"value":"19 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors\u00a0have no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"CMSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Methods in Systems Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmsb2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cmsb2025.sciencesconf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}