{"id":"https://openalex.org/W2126087235","doi":"https://doi.org/10.3233/sat190060","title":"Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks","display_name":"Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks","publication_year":2008,"publication_date":"2008-09-01","ids":{"openalex":"https://openalex.org/W2126087235","doi":"https://doi.org/10.3233/sat190060","mag":"2126087235"},"language":"en","primary_location":{"id":"doi:10.3233/sat190060","is_oa":true,"landing_page_url":"https://doi.org/10.3233/sat190060","pdf_url":"https://content.iospress.com:443/download/journal-on-satisfiability-boolean-modeling-and-computation/sat190060?id=journal-on-satisfiability-boolean-modeling-and-computation%2Fsat190060","source":{"id":"https://openalex.org/S92264924","display_name":"Journal on Satisfiability Boolean Modeling and Computation","issn_l":"1574-0617","issn":["1574-0617","1875-5011"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal on Satisfiability, Boolean Modeling and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://content.iospress.com:443/download/journal-on-satisfiability-boolean-modeling-and-computation/sat190060?id=journal-on-satisfiability-boolean-modeling-and-computation%2Fsat190060","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065103963","display_name":"Utz\u2010Uwe Haus","orcid":"https://orcid.org/0000-0001-7292-9984"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Utz-Uwe Haus","raw_affiliation_strings":["Institute for Mathematical Optimization, Otto-von-Guericke University Magdeburg, 39106 Magdeburg, Germany. E-mail:\u00a0haus@imo.math.uni-magdeburg.de"],"affiliations":[{"raw_affiliation_string":"Institute for Mathematical Optimization, Otto-von-Guericke University Magdeburg, 39106 Magdeburg, Germany. E-mail:\u00a0haus@imo.math.uni-magdeburg.de","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018437728","display_name":"Klaus Truemper","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Klaus Truemper","raw_affiliation_strings":["Department of Computer Science University of Texas at Dallas, Richardson, Texas 75080, USA. E-mail:\u00a0truemper@utdallas.edu"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Texas at Dallas, Richardson, Texas 75080, USA. E-mail:\u00a0truemper@utdallas.edu","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029637448","display_name":"Robert Weismantel","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Robert Weismantel","raw_affiliation_strings":["Institute for Mathematical Optimization, Otto-von-Guericke University Magdeburg, 39106 Magdeburg, Germany. E-mail:\u00a0weismantel@imo.math.uni-magdeburg.de"],"affiliations":[{"raw_affiliation_string":"Institute for Mathematical Optimization, Otto-von-Guericke University Magdeburg, 39106 Magdeburg, Germany. E-mail:\u00a0weismantel@imo.math.uni-magdeburg.de","institution_ids":["https://openalex.org/I95793202"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029637448","https://openalex.org/A5065103963"],"corresponding_institution_ids":["https://openalex.org/I95793202"],"apc_list":null,"apc_paid":null,"fwci":0.1376,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.5586675,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"6","issue":"1-3","first_page":"13","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10211","display_name":"Computational Drug Discovery Methods","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.880291223526001},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.8392148017883301},{"id":"https://openalex.org/keywords/subclass","display_name":"Subclass","score":0.7283508777618408},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.612337052822113},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5266584753990173},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5112535953521729},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4683341979980469},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4667418599128723},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.42950439453125},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36864206194877625}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.880291223526001},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.8392148017883301},{"id":"https://openalex.org/C2776194381","wikidata":"https://www.wikidata.org/wiki/Q3965271","display_name":"Subclass","level":3,"score":0.7283508777618408},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.612337052822113},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5266584753990173},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5112535953521729},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4683341979980469},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4667418599128723},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.42950439453125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36864206194877625},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C159654299","wikidata":"https://www.wikidata.org/wiki/Q79460","display_name":"Antibody","level":2,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C203014093","wikidata":"https://www.wikidata.org/wiki/Q101929","display_name":"Immunology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/sat190060","is_oa":true,"landing_page_url":"https://doi.org/10.3233/sat190060","pdf_url":"https://content.iospress.com:443/download/journal-on-satisfiability-boolean-modeling-and-computation/sat190060?id=journal-on-satisfiability-boolean-modeling-and-computation%2Fsat190060","source":{"id":"https://openalex.org/S92264924","display_name":"Journal on Satisfiability Boolean Modeling and Computation","issn_l":"1574-0617","issn":["1574-0617","1875-5011"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal on Satisfiability, Boolean Modeling and Computation","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.3233/sat190060","is_oa":true,"landing_page_url":"https://doi.org/10.3233/sat190060","pdf_url":"https://content.iospress.com:443/download/journal-on-satisfiability-boolean-modeling-and-computation/sat190060?id=journal-on-satisfiability-boolean-modeling-and-computation%2Fsat190060","source":{"id":"https://openalex.org/S92264924","display_name":"Journal on Satisfiability Boolean Modeling and Computation","issn_l":"1574-0617","issn":["1574-0617","1875-5011"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal on Satisfiability, Boolean Modeling and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321012","display_name":"Technische Universiteit Delft","ror":"https://ror.org/02e2c7k09"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2126087235.pdf","grobid_xml":"https://content.openalex.org/works/W2126087235.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W162552705","https://openalex.org/W272982077","https://openalex.org/W1484040084","https://openalex.org/W1766332311","https://openalex.org/W1963547452","https://openalex.org/W1977545325","https://openalex.org/W1992996900","https://openalex.org/W2003160050","https://openalex.org/W2011039300","https://openalex.org/W2031823362","https://openalex.org/W2054582708","https://openalex.org/W2072545857","https://openalex.org/W2092755129","https://openalex.org/W2118382442","https://openalex.org/W2534652523","https://openalex.org/W4230326859","https://openalex.org/W4300303686","https://openalex.org/W4301808069"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2014111643","https://openalex.org/W2963044240","https://openalex.org/W2076399409"],"abstract_inverted_index":{"A":[0,21],"simple":[1],"model":[2,29],"of":[3,11,26,32,49,59,70,74],"signal":[4],"transduction":[5],"networks":[6],"in":[7],"molecular":[8],"biology":[9],"consists":[10],"CNF":[12,75],"formulas":[13],"with":[14],"two":[15],"and":[16,56],"three":[17],"literals":[18],"per":[19],"clause.":[20],"necessary":[22],"condition":[23],"for":[24,43],"correctness":[25],"the":[27,33],"network":[28],"is":[30,48,66],"satisfiability":[31,36,54],"formulas.":[34,76],"Deciding":[35],"turns":[37],"out":[38],"to":[39],"be":[40,62],"NP-complete.":[41],"However,":[42],"a":[44,52,67],"subclass":[45,65],"that":[46],"still":[47],"practical":[50],"interest,":[51],"linear":[53],"algorithm":[55],"related":[57],"characterization":[58],"unsatisfiability":[60],"can":[61],"established.":[63],"The":[64],"special":[68],"case":[69],"so-called":[71],"closed":[72],"sums":[73]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}