{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T15:41:54Z","timestamp":1769874114864,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642335570","type":"print"},{"value":"9783642335587","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_67","type":"book-chapter","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T02:32:47Z","timestamp":1349231567000},"page":"941-956","source":"Crossref","is-referenced-by-count":22,"title":["Reasoning over Biological Networks Using Maximum Satisfiability"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Guerra","sequence":"first","affiliation":[]},{"given":"In\u00eas","family":"Lynce","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"67_CR1","unstructured":"Workshops on Constraint Based Methods for Bioinformatics (WCB) (2005-2012)"},{"issue":"21","key":"67_CR2","doi-asserted-by":"publisher","first-page":"6392","DOI":"10.1128\/JB.185.21.6392-6399.2003","volume":"185","author":"T. Allen","year":"2003","unstructured":"Allen, T., Herrg\u00e5rd, M., Liu, M., Qiu, Y., Glasner, J., Blattner, F., Palsson, B.: Genome-scale analysis of the uses of the escherichia coli genome: model-driven analysis of heterogeneous data sets. Journal of Bacteriology\u00a0185(21), 6392\u20136399 (2003)","journal-title":"Journal of Bacteriology"},{"key":"67_CR3","doi-asserted-by":"crossref","unstructured":"Barahona, P., Krippahl, L., Perriquet, O.: Bioinformatics: a challenge to constraint programming. In: Hybrid Optimization, vol.\u00a045, pp. 463\u2013487. Springer (2011)","DOI":"10.1007\/978-1-4419-1644-0_14"},{"issue":"1-3","key":"67_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(84)90036-5","volume":"24","author":"D. Bobrow","year":"1984","unstructured":"Bobrow, D.: Qualitative reasoning about physical systems: an introduction. Artificial Intelligence\u00a024(1-3), 1\u20135 (1984)","journal-title":"Artificial Intelligence"},{"issue":"9","key":"67_CR5","doi-asserted-by":"publisher","first-page":"2922","DOI":"10.1099\/mic.0.2007\/008565-0","volume":"153","author":"M. Bradley","year":"2007","unstructured":"Bradley, M., Beach, M., de Koning, A., Pratt, T., Osuna, R.: Effects of fis on escherichia coli gene expression during different growth stages. Microbiology\u00a0153(9), 2922\u20132940 (2007)","journal-title":"Microbiology"},{"key":"67_CR6","doi-asserted-by":"crossref","unstructured":"Corblin, F., Bordeaux, L., Fanchon, E., Hamadi, Y., Trilling, L.: Connections and integration with SAT solvers: a survey and a case study in computational biology. In: Hybrid Optimization, vol.\u00a045, pp. 425\u2013461. Springer (2011)","DOI":"10.1007\/978-1-4419-1644-0_13"},{"key":"67_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1186\/1471-2105-11-385","volume":"11","author":"F. Corblin","year":"2010","unstructured":"Corblin, F., Fanchon, E., Trilling, L.: Applications of a formal approach to decipher discrete genetic networks. BMC Bioinformatics\u00a011, 385 (2010)","journal-title":"BMC Bioinformatics"},{"issue":"2","key":"67_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.biosystems.2009.07.007","volume":"98","author":"F. Corblin","year":"2009","unstructured":"Corblin, F., Tripodi, S., Fanchon, E., Ropers, D., Trilling, L.: A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems\u00a098(2), 91\u2013104 (2009)","journal-title":"Biosystems"},{"issue":"1","key":"67_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. Journal of Computational Biology\u00a09(1), 67\u2013103 (2002)","journal-title":"Journal of Computational Biology"},{"key":"67_CR10","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.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"67_CR11","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1093\/nar\/gkm994","volume":"36","author":"S. Gama-Castro","year":"2008","unstructured":"Gama-Castro, S., Jim\u00e9nez-Jacinto, V., Peralta-Gil, M., Santos-Zavaleta, A., Pe\u00f1aloza-Spinola, M., Contreras-Moreira, B., Segura-Salazar, J., Mu\u00f1iz-Rascado, L., Mart\u00ednez-Flores, I., Salgado, H., Bonavides-Mart\u00ednez, C., Abreu-Goodger, C., Rodr\u00edguez-Penagos, C., Miranda-R\u00edos, J., Morett, E., Merino, E., Huerta, A., Trevi\u00f1o-Quintanilla, L., Collado-Vides, J.: RegulonDB (version 6.0): gene regulation model of escherichia coli k-12 beyond transcription, active (experimental) annotated promoters and textpresso navigation. Nucleic Acids Research\u00a036(Database Issue), 120\u2013124 (2008)","journal-title":"Nucleic Acids Research"},{"key":"67_CR12","unstructured":"Gebser, M., Guziolowski, C., Ivanchev, M., Schaub, T., Siegel, A., Thiele, S., Veber, P.: Repair and prediction (under inconsistency) in large biological networks with answer set programming. In: International Conference on Principles of Knowledge Representation and Reasoning, pp. 497\u2013507 (2010)"},{"issue":"2","key":"67_CR13","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the Potsdam answer set solving collection. AI Communications\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Communications"},{"key":"67_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/978-3-642-04238-6_50","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: The Conflict-Driven Answer Set Solver clasp: Progress Report. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 509\u2013514. Springer, Heidelberg (2009)"},{"key":"67_CR15","doi-asserted-by":"crossref","unstructured":"Gebser, M., K\u00f6nig, A., Schaub, T., Thiele, S., Veber, P.: The BioASP library: ASP solutions for systems biology. In: IEEE International Conference on Tools with Artificial Intelligence, pp. 383\u2013389 (2010)","DOI":"10.1109\/ICTAI.2010.62"},{"issue":"2-3","key":"67_CR16","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1017\/S1471068410000554","volume":"11","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Schaub, T., Thiele, S., Veber, P.: Detecting inconsistencies in large biological networks with answer set programming. Theory and Practice of Logic Programing\u00a011(2-3), 323\u2013360 (2011)","journal-title":"Theory and Practice of Logic Programing"},{"key":"67_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1007\/978-3-540-85958-1_53","volume-title":"Principles and Practice of Constraint Programming","author":"P. Gregory","year":"2008","unstructured":"Gregory, P., Fox, M., Long, D.: A New Empirical Study of Weak Backdoors. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 618\u2013623. Springer, Heidelberg (2008)"},{"issue":"2","key":"67_CR18","doi-asserted-by":"publisher","first-page":"37","DOI":"10.4024\/20701.jbpc.07.02","volume":"7","author":"C. Guziolowski","year":"2007","unstructured":"Guziolowski, C., Veber, P., Le Borgne, M., Radulescu, R., Siegel, A.: Checking consistency between expression data and large scale regulatory networks: a case study. Journal of Biological Physics and Chemistry\u00a07(2), 37\u201343 (2007)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"67_CR19","unstructured":"Hebrard, E., Hnich, B., O\u2019Sullivan, B., Walsh, T.: Finding diverse and similar solutions in constraint programming. In: AAAI Conference on Artificial Intelligence, pp. 372\u2013377 (2005)"},{"key":"67_CR20","unstructured":"Hemery, F., Lecoutre, C., Sais, L., Boussemart, F.: Extracting MUCs from constraint networks. In: European Conference on Artificial Intelligence, pp. 113\u2013117 (2006)"},{"key":"67_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/978-3-540-85958-1_52","volume-title":"Principles and Practice of Constraint Programming","author":"E.I. Hsu","year":"2008","unstructured":"Hsu, E.I., Muise, C.J., Christopher Beck, J., McIlraith, S.A.: Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 613\u2013617. Springer, Heidelberg (2008)"},{"issue":"6804","key":"67_CR22","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1038\/35036627","volume":"407","author":"H. Jeong","year":"2000","unstructured":"Jeong, H., Tombor, B., Albert, R., Oltvai, Z., Barab\u00e1si, A.-L.: The large-scale organization of metabolic networks. Nature\u00a0407(6804), 651\u2013654 (2000)","journal-title":"Nature"},{"key":"67_CR23","unstructured":"Kilby, P., Slaney, J., Thi\u00e9baux, S., Walsh, T.: Backbones and backdoors in satisfiability. In: AAAI Conference on Artificial Intelligence, pp. 1368\u20131373 (2005)"},{"key":"67_CR24","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.: Minimal unsatisfiability: models, algorithms and applications. In: IEEE International Symposium on Multiple-Valued Logic, pp. 9\u201314 (2010)","DOI":"10.1109\/ISMVL.2010.11"},{"key":"67_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-540-79719-7_21","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2008","author":"J. Marques-Silva","year":"2008","unstructured":"Marques-Silva, J., Manquinho, V.: Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. In: Kleine B\u00fcning, H., Zhao, X. (eds.) SAT 2008. LNCS, vol.\u00a04996, pp. 225\u2013230. Springer, Heidelberg (2008)"},{"key":"67_CR26","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Mikol\u00e1\u0161, J., Lynce, I.: On computing backbones of propositional theories. In: European Conference on Artificial Intelligence, pp. 15\u201320 (2010)","DOI":"10.3233\/978-1-60750-606-5-15"},{"key":"67_CR27","doi-asserted-by":"crossref","unstructured":"Mena\u00ef, M.: A two-phase backbone-based search heuristic for partial MAX-SAT \u2013 an initial investigation. In: Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 681\u2013684 (2005)","DOI":"10.1007\/11504894_94"},{"issue":"6740","key":"67_CR28","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1038\/22055","volume":"400","author":"R. Monasson","year":"1999","unstructured":"Monasson, R., Zecchina, R., Kirkpatrick, S., Selman, B., Troyansky, L.: Determining computational complexity from characteristic \u2018phase transitions\u2019. Nature\u00a0400(6740), 133\u2013137 (1999)","journal-title":"Nature"},{"issue":"2","key":"67_CR29","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.biosystems.2005.10.006","volume":"84","author":"A. Siegel","year":"2006","unstructured":"Siegel, A., Radulescu, O., Le Borgne, M., Veber, P., Ouy, J., Lagarrigue, S.: Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks. Biosystems\u00a084(2), 153\u2013174 (2006)","journal-title":"Biosystems"},{"key":"67_CR30","unstructured":"Slaney, J., Walsh, T.: Backbones in optimization and approximation. In: International Joint Conference on Artificial Intelligence, pp. 254\u2013259 (2001)"},{"key":"67_CR31","unstructured":"Soliman, S.: Constraint programming for the dynamical analysis of biochemical systems \u2013 a survey. Technical Report Deliverable 1.6, ANR CALAMAR, ANR-08-SYSC-003 (2011)"},{"issue":"1","key":"67_CR32","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.crvi.2005.10.002","volume":"329","author":"C. Soul\u00e9","year":"2006","unstructured":"Soul\u00e9, C.: Mathematical approaches to differentiation and gene regulation. Comptes Rendus Biologies\u00a0329(1), 13\u201320 (2006)","journal-title":"Comptes Rendus Biologies"},{"key":"67_CR33","unstructured":"Zhang, W., Rangan, A., Looks, M.: Backbone guided local search for maximum satisfiability. In: International Joint Conference on Artificial Intelligence, pp. 1179\u20131184 (2003)"},{"key":"67_CR34","doi-asserted-by":"crossref","unstructured":"Zhu, C., Weissenbacher, G., Sethi, D., Malik, S.: SAT-based techniques for determining backbones for post-silicon fault localisation. In: IEEE International High Level Design Validation and Test Workshop, pp. 84\u201391 (2011)","DOI":"10.1109\/HLDVT.2011.6113981"}],"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_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T22:14:31Z","timestamp":1744236871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}