{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T04:56:19Z”，“时间戳”：1648788979288}，“参考计数”：28，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{:“日期部分:00Z“，”timestamp“：15225408000000}，”content-version“：“tdm”，“延迟天数”：0，“URL”：“https:\/\/weelsevier.com\/tdm\/userlicense\/1.0\/”｝，｛“开始”：｛“日期部分”：[[2018,3,21]]，“日期时间”：“2018-03-21T00:00:00Z”，“时间戳”：1521590400000｝，“内容版本”：“vor”，“延迟天数”：0，“URL”：“http:\/\/ccreativecommons.org/licenses\/by\/4.0\/”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2018,4]]}，“DOI”：“10.1016\/j.entcs.2018.03.011”，“type”：“journal-article”，“created”：{“date-parts”：[2018,4,13]]，“date-time”：“2018-04-13T11:14:30Z”，“timestamp”：1523618070000}，《page》：“113-130”，“源”：“Crossref”，“is”参考计数“：4，“title”：[“六角形网格上组成的布尔调节网络的稳定状态”]，“前缀”：“10.1016”，“卷”：“335”，“作者”：[{“给定”：“Pedro L.”，“家族”：“Varela”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“In\u00eas”，“family”：“Lync”，“sequence”：“additional”，“affiliation”：[]}，}“给定“：”附加“、“affiliation”：[]}，{“given”：“Claudine”，“family”：“Chaouiya”，“sequence”：“additional”，“affidiation”：[]}“首页”：“80”，“article-title”：“基数约束更小更好编码的参数方法”，“volume”：“vol.8124”，“author”：“Ab\u00edo”，“year”：“2013”}，{“key”：”10.1016\/j.entcs.2018.03.11_br0020“，”doi-asserted-by“：”crossref“，”first page“：”94“，”doi“：”10.3389\/fgene.2016.00094“：“细胞网络的逻辑建模和动力学分析”，“卷”：“7”，“作者”：“Abou-Jaoud\u00e9”，“年份”：“2016年”，“期刊标题”：“遗传学前沿”}，{“关键”：“10.1016\/j.entcs.2018.03.11_br0030”，“系列-时间”：“Proc.9th ACM-SIAM Symposium Discrete Algorithms \u2013 SODA 1998”，“首页”：“695”，“article-title”：“通过战略性基因破坏和基因过度表达识别基因调控网络”，“作者”：“Akutsu”，“年份”：“1998”}，{“问题”：“1”，“关键”：“10.1016\/j.entcs.2018.03.11_br0040”，“doi-asserted-by”：“crossref”，“首页”：“2”，“doi”：“101016\/S0022-5193（03）00035-3”，“文章标题”：“调控相互作用的拓扑预测果蝇片段极性基因的表达模式”，“卷”：“223”，“作者”：“阿尔伯特”，“年份”：“2003”，“期刊标题”：“理论生物学杂志”}，{“问题”：“5”，“关键”：“10.1016\/j.entcs.2018.03.011_br0050”，“首页”：“353”，”文章标题“：“布尔建模：一种基于逻辑的动态方法，用于理解信号和调控网络并进行有用的预测”，“卷”：“6”，“作者”：“阿尔伯特”，“年份”：“2014年”，“期刊标题”：“威利跨学科评论：系统生物学和医学”}，{“问题”：“5”，“关键”：“10.1016\/j.entcs.2018.03.11_br0060”，“doi-asserted-by”：“crossref”，“DOI”：“10.1109\/TC.2006.75”，“article-title”：“布尔可满足性的有效对称破缺”，“volume”：“55”，“author”：“Aloul”，“year”：“2006”，“journal-title“：”IEEE Transactions on Computers“}，{”issue“：”2“，”key“：”10.1016\/j.entcs.2018.03.11_br0070“，”DOI-asserted-by“：”crossref“，”DOI“：”101063\/1.4809783“，”article-title“：“大型细胞调控网络的动态建模与分析”，“卷”：“23”，“作者”：“B\u00e9renguier”，“年份”：“2013年”，“期刊标题”：“混沌：非线性科学的跨学科期刊”}，{“关键”：“10.1016\/j.entcs.2018.03.11_br0080”，“系列标题”：《可满足性测试的理论与应用》，“2013 SAT 2014”，“首页”：“285”，“article-title”：“检测CNF中的基数约束”，“volume”：“vol.8561”，“author”：“Biere”，“year”：“2014”}，{“key”：”10.1016\/j.entcs.2018.03.11_br0090“，“series-title”：”Proc.International Workshop on Constraint Modelling and Refulation（ModRef）“，”article-title“：”at-most-one约束的新SAT编码“，”author“：”Chen“，”year“：“2010”}，{“issue”：“4”，“key”：“10.1016\/j.entcs.2018.03.11_br0100”，“doi-asserted-by”：“crossref”，“first page”：《311》，“doi”：“101006\/mcne.1995.1024”，《article-title》：“Notch在侧向抑制和细胞命运规范中的作用”，“volume”：”6“author”：“Chitnis”，“year”：“1995”，“journal-title”：“Molecular and Cellular Neuroscience”}：“4”，“key”：“10.1016\/j.entcs.2018.03.011_br0110”，“doi-asserted-by”：“crossref”，“first page”：”429“，“doi”：“101006\/jtbi.1996.0233”，“article-title”：“带反馈的侧向抑制模式形成：δ-缺口细胞间信号传递的数学模型”，“volume”：《183》，“author”：“Collier”，“year”：“1996”，“journal title”：“理论生物学杂志”}，{“issue”：“6”，“key”：“10.1016\/j.entcs.2018.03.011_br0120”，“doi-asserted-by”：“crossref”，“首页”：“1025”，“doi”：“101016\/S0092-8240（03）00061-2”，“article-title”：“通过逻辑分析识别大型网络中的所有稳态”，“volume”：”65“author”：“Devloo”，“year”：“2003”，“Journal-title“：“数学生物学公报”}，{“问题”：“1”，“关键”：“10.1016\/j.entcs.2018.03.011_br0130”，“doi-asserted-by”：“crossref”，“首页”：“177”，”doi“：”10.1016\/j.jtbi.2010.09.017“，”article-title“：”将多值映射到布尔动力学“，”volume“：”270“，”author“：”Didier“，”year“：”2011“，”journal title“：“理论生物学杂志”}、{“问题“：“5”，“key”：“10.1016\/j.entcs.2018.03.011_br0140”，“doi-asserted-by”：“crossref”，“first page”：”1“，”doi“：”10.1109\/TCB.2010.20“，”article-title“：”一种基于SAT的算法，用于在同步布尔网络中寻找吸引子“，”volume“：”8“，”author“：”Dubrova“，”year“：”2011“，”journal-title”：“IEEE\/ACM计算生物学和生物信息学汇刊”}，{“issue”：“3”，“key”：“10.1016\/j.entcs.2018.03.011_br0150”，“doi-asserted-by”：“crossref”，“doi”：“101371\/journal.pcbi.1003527”，“article-title”：“果蝇蛋壳模式的离散模型揭示了细胞自主和并列效应”，“volume”：《科学图书馆·计算生物学》}，{“密钥”：“10.1016\/j.entcs.2018.03.011_br0160”，“series-title”：“约束建模和重构国际研讨会（ModRef）”，“article-title”：“at-most-k约束的SAT编码：一些旧的、一些新的、一些快的、一些慢的”，“author”：“Frisch”，“year”：“2010”}，{“key”：”10.1016//j.entc.2018.03.011_br0170“，”series-title“：“一种有效的基因调控网络动态分析方法和电子基因微扰实验”，“首页”：“62”，“作者”：“Garg”，“年份”：“2007”}，{“key”：“10.1016\/j.entcs.2018.03.11_br0180”，“series-title”：“第22届国际人工智能联合会议\u2013 IJCAI 2011”，“第一页”：”924“article-title”：“布尔网络的逻辑编程”，“author”：“Inoue”，“year”：“2011”}，{“key”：“10.1016\/j.entcs.2018.03.011_br0190”，“series-title”：“Proc.Intl.Workshop on Constraints in Formal Verification”，“article-title”：”高效CNF编码，用于从N个对象中选择1“，”author“：”Klieber“，”year“：”2007“}”，{”key“：”10.1016//j.entc.2018.03.011_br0200“，“series-title”：“可满足性测试的理论与应用\u2013 SAT 2007”，“首页”：“22”，“文章标题”：“打破SAT矩阵模型中的对称性”，“卷”：“第4501卷”，“作者”：“Lync”，“年份”：“2007”}，{“问题”：“6”，“密钥”：“10.1016\/j.entcs.2018.03.11_br0210”，“doi-asserted-by”：“crossref”，“第一页面”：“749”，“doi”：“10.1093”，“生物信息学”，“article-title”：“逻辑调控模块的组成和抽象：在多细胞系统中的应用”，“volume”：“29”，“author”：“Mendes”，“year”：“2013”，“journal-title“：”生物信息学“}”，{“issue”：“2”，“key”：”10.1016\/j.entcs.2018.0311_br0220“，”doi-asserted-by“：”crossref“，”第一页“：”134“，“doi”：“10.1016\/j.biosystems.2009.04.008”，“article-title”：“用GINsim 2.3对调控网络进行逻辑建模”，“volume”：“97”，“author”：“Naldi”，“year”：“2009”，“journal-title“：”biosystems“}，{“key”：”10.1016\/j.entcs.2018.03.11_br0230“，”series-title“：“系统生物学中的计算方法”，“first page”：第233页“，”article-title“：“用于表示和分析遗传网络逻辑模型的决策图”，“作者”：“Naldi”，“年份”：“2007”}，{“关键”：“10.1016\/j.entcs.2018.03.11_br0240”，“系列标题”：“第六届国际信息通信技术研讨会议事录\u2013 SoICT 2015”，“首页”：“1”，“文章标题”：“一种将最多一个约束编码到SAT的新方法”，“author”：“Nguyen”，“year”：“2015”}，｛“issue”：“1”，“key”：“10.1016\/j.entcs.2018.03.011_br0250”，“doi asserted by”：“crossref”，“first page”：“54”，“doi”：“10.1006\/dbio.1999.9536”，“article title”：“juxtacrine信号的横向诱导是一种新的模式形成机制”，“volume”：“217”，“author”：“Owen”，“year”：“2000”，“journal-title”：“Developmental Biology”}，{“issue”：“8”，“key”：“10.1016\/j.entcs.2018.03.11_br0260”，“doi-asserted-by”：“crossref”，“first-page:”1059，“author”：“S\u00e1nchez”，“year”：“2008”，“journal-title”：“The International journal of Developmental Biology”}，{“key”：“10.1016\/j.entcs.2018.03.011_br0270”，“series-title”：《国际可满足性测试理论与应用会议》\u2013 SAT 2004，“article-title“：结合组件缓存和子句学习实现有效模型计数”，“author”：“Sang”，“year”：“2004”}，{“key”：“10.1016\/j.entcs.2018.03.011_br0280”，“series-title”：“欧洲计算生物学会议\u2013 ECCB 2014”，“首页”：“1709”，“article-title”：”EpiLog，一种用于上皮模式形成逻辑建模的计算工具“，”卷“：”第5卷“，”author“：”Varela“，”年份“2014”}]，“container-title“：[“理论计算机科学电子笔记”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066118300148？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066118300148？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2018,8,22]]，“date-time”：”2018-08-22T13:52:39Z“，”timestamp“：1534945959000}，“score”：1，“resource”：{”primary“：{”URL“：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066118300148”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2018,4]]}，”references-count“：28，”alternative-id“：[”S157106611830048“]，“URL”：“http://\/dx.doi.org\/10.10016\/j.entcs.2018.03.011”，“relation”：{}，“ISSN”：[“1571-0661”]，“ISSN-type”：[{“value”：“1571-00661”，“type”:“print”}]，“主题”：[]，“发布”：{“日期部分”：[[2018,4]]}}