{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,20]]，“日期时间”：“2024-06-20T17:09:22Z”，“时间戳”：1718903362833}，“出版商位置”：“查姆”，“引用计数”：58，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319243177”，“类型”：”打印“}，{“值”：“9783319243184”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}][]，“published-print”：{“date-parts”：[2015年]]}，“DOI”：“10.1007\/978-3-319-24318-4_21”，“type”：“book-chapter”，“created”：{“date-parts”：[[2015,9,11]]，“date-time”：“2015-09-11T05:42:56Z”，“timestamp”：1441950176000}，“page”：”287-298“source”：Alexey“，”family“：”Ignatiev“，”sequence“：“first”，“affiliation”：[]}，{“given”：“Alessandro”，“family”：“Previti”，“sequence”：“additional”，“filiation“：[]{”given“：”Joao“，”family“：”Marques-Silva“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2015,10,27]]}“reference”：[{“key”：”21_CR1“，“seri”es-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“309”，“doi”：“10.1007\/978-3642-39071-5_23”，“volume-title”：“可满足性测试的理论与应用\u2013 SAT 2013”，“author”：“G Audemard”，“year”：“2013”，”非结构化“：“Audemard，G.，Lagniez，J.-M.，Simon，L.：用假设改善增量SAT求解的葡萄糖：应用于MUS提取。摘自：J\u00e4rvisalo，M.，Van Gelder，A.（编辑）SAT 2013。LNCS，第7962卷，第309\u2013317页。Springer，Heidelberg（2013）“}，{”issue“：”10“，”key“：”21_CR2“，”doi-asserted-by“：”publisher“，”first page“：“3162”，“doi”：“10.1016\/j.cor.2005.11.026”，“volume”：“34”，“author”：“j Bautista”，“year”：“2007”，“unstructured”：“Bautisa，j.，Pereira，j.：解决unicast集合覆盖问题的GRASP算法。Computers&OR 34（10），3162\u20133173（2007））“，”journal-title“：”Computers&OR“}，{”issue“：”2“，”key“：”21_CR3“，”doi-asserted-by“：”crossref“，”first-page:“97”，“doi”：“10.3233\/AIC-2012-0523”，“volume”：“25”，“author”：“A Belov”，“year”：“2012”，“unstructured”：“Belov，A.，Lync，I.，Marques-Silva，J.：实现高效MUS提取。AI Commun.25（2），97\u2013116（2012）”，“新闻标题“：”人工智能通讯“}，{”key“：”21_CR4“，”unstructured“：”Biere，A.，Heule，M.，van Maaren，H.，Walsh，T.（eds.）《可满足性手册》，《人工智能与应用前沿》，第185卷。IOS出版社（2009）“}，{”issue“：”2“，”key“：”21_CR5“，”doi-asserted-by“：”publisher“，”first page“：“280”，”doi“：”10.1007\/s00145-012-9124-7“，“volume”：“26”，“author”：“J Boyar”，“year”：“2013”，“unstructured”：“Boyar，J.，Matthews，P.，Peralta，R.：逻辑最小化技术与密码学应用。J.cryptology 26（2），280\u2013312（2013）”，“journal-title“：”J.Cryptology“}，{“key”：“21_CR6”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”24“，“doi”：“10.1007\/978-3642-14295-6_5”，“volume-title”：”计算机辅助验证“，”author“：”R Brayton“，”year“2010”，“unstructured”：“Brayton，R.，Mishchenko，A.：ABC：一种学术行业实力验证工具。收录：Touili，T.、Cook，B.、Jackson，P.（编辑）CAV 2010。LNCS，第6174卷，第24\u201340页。Springer，Heidelberg（2010）“｝，｛”key“：”21_CR7“，”doi断言“：”publisher“，”doi“：”10.1007\/978-1-4613-2821-6“，”卷标题“：”超大规模集成电路合成的逻辑最小化算法“，”作者“：”RK Brayton“，”年份“：”1984“，”非结构化“：”Brayton，R.K.，Sangiovanni-Vincentelli，A.L.，McMullen，C.T.，Hachtel，G.D.：VLSI合成的逻辑最小化算法。Kluwer Academic Publishers，Norwell（1984）“}，{”key“：”21_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“104”，”doi“：”10.1007\/978-3-540-74610-2_8“，“volume-title”：“逻辑编程”，“author”：“P Cabalar”，“year”：“2007”，“unstructured”：“Cabalar，P.，Pearce，D.J.，Valverde，A.：最小逻辑程序。收录人：Dahl，V.，Niemel\u00e4，I.（eds.）ICLP 2007。LNCS，第4670卷，第104\u2013118页。Springer，Heidelberg（2007）“}，{“key”：“21_CR9”，“unstructured”：“Chen，H.，Janota，M.，Marques-Silva，J.：基于QBF的布尔函数双分解。In:DATE，pp.816\u2013819（2012）”}，}“issue”：“2”，“key“：”21_CR10“，”doi-asserted-by“：”crossref“，”first page“：“97”，“doi”：“10.1016\/0167-9260（94）00007-7”，“volume”：”17“，”author“：”O Coudert“，”year“：”1994“，”非结构化“：”Coudert，O.：二级逻辑最小化：概述。Integration 17（2），97\u2013140（1994）“，”journal-title“：”Integration“}，{”key“：”21_CR11“，”first page“：“475”，“volume”：“2011”，“author”：“N Courtois”，“year”：“2011”，“unstructured”：“Courtoi，N.，Hulme，D.，Mourouzis，T.：解决密码学和密码分析中的电路优化问题。IACR Cryptology ePrint Archive 2011，475（2011）”，“journal-title“：”IACR Cryptology ePrint Archive“}，{”issue“：”3“，”key“：”21_CR12“，”doi-asserted-by“：”publisher“，”first page“：“250”，”doi“：”10.2307\/2963593“，”volume“:”22“，”author“：”W Craig“，”year“：”1957“，”unstructured“：”Craig，W.：线性推理。Herbrand-Gentzen定理的一种新形式。J.Symbol.Log.22（3），250\u2013268（1957）“，“新闻标题”：“J。赛姆布。日志。“}，{”key“：”21_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”D\u00e9harbe，D.，Fontaine，P.，Berre，D.L.，Mazure，B.：计算素蕴涵体。In:FMCAD，pp.46\u201352（2013）“，”doi“：”10.1109\/FMCAD.2013.6679390“}”{/1752-0509-5-113“，”卷“：”5“，”作者“：”M Durzinsky”，“年份”：“2011”，“非结构化”：“Durzinsky，M.，Wagler，A.，Marwan，W.：从时间序列数据重建扩展的petri网及其在信号转导和基因调控网络中的应用。BMC系统生物学5，113（2011）“，”journal-title“：”BMC系统生物“}，{“key”：“21_CR15”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《502》，“doi”：“10.1007\/978-3-540-24605-3_37”，“volume-title”：《可满足性测试的理论与应用》，“author”：“N E\u00e9n”，“year”：“2004”，“unstructured”：“E\u00e9n，N.，S\u00f6rensson，N.：可扩展SAT解决方案。收录：Giunchiglia，E.，Tacchella，A.（编辑）SAT 2003。LNCS，第2919卷，第502\u2013518页。Springer，Heidelberg（2004）“}，{“key”：“21_CR16”，“unstructured”：“Espresso\u2013多值PLA最小化。http://\/embedded.eecs.berkeley.edu\/pubs\/downloads\/Espresso（2015年4月30日访问）”}，}“issue”：“1”，“key“：”21_CR17“，“doi-asserted-by”：“publisher”，“first page“：“35”，“doi”：“10.1007\/s1146-006-0009-x”，“volume”：”2“，”author“：”E Filiol“，”年份”：“2006年”，“非结构化”：“Filiol，E.：恶意软件模式扫描方案可安全对抗黑盒分析。《计算机病毒学杂志》2（1），35\u201350（2006）“，“Journal-title”：“Journal in Computer Virology”}，{“key”：“21_CR18”，“unstructured”：“Garey，M.R.，Johnson，D.S.:Computers and Intractability:A Guide to the Theory to the Theore of NP-Completeness”。W.H.Freeman（1979）“}，”{“issue”：“2”，“key“：”21_CR19”，“doi-asserted-by”：“publisher”，“首页”：“189”，”“doi”：“10.1016\/j.adhoc.2005.10.003”，“卷”：“5”，“作者”：“j Ghosh”，“年份”：“2007”，“非结构化”：“Ghosh，j.，Philip，S.j.，Qiao，C.：MANET中的社会学轨道感知位置近似和路由（SOLAR）。Ad Hoc Networks 5（2），189\u2013209（2007）“，”journal-title“：”Ad Hog Networks“}，{“key”：“21_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Gr\u00e9goire，\u00c9.，Lagniez，J.，Mazure，B.：一种实验上有效的（MSS，CoMSS）分区方法。摘自：AAAI，pp.2666\u20132673（2014）”，“doi”：“10.1609\/aaaai.v28i1.9118”}，}“密钥”：“21_CR21”，“非结构化”：“Gupta，A.：学习模型检查的抽象。卡内基梅隆大学博士论文，2006年6月“}，{“key”：“21_CR22”，“unstructured”：“Hachtel，G.D.，Somenzi，F.：逻辑综合与验证算法。Kluwer（1996）”}，}“key:”21_CR23“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”250“doi”：“10.1007\/978-3642-39071-5_19”，“volume-title”：可满足性测试的理论与应用\u2013 SAT 2013”，“作者”：“A Ignatiev”，“年份”：“2013年”，“非结构化”：“Ignatieve，A.，Janota，M.，Marques-Silva，J.：量化最大可满足性：核心指导方法。收录：J\u00e4rvisalo，M.，Van Gelder，A.（编辑）SAT 2013。LNCS，第7962卷，第250\u2013266页。Springer，Heidelberg（2013）“}，{“key”：“21_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Ignatiev，A.，Janota，M.，Marques-Silva，J.：量化最大可满足性。约束（2015）。http://\/dx.doi.org \/10.10007，“doi”：“10.1007”Ignatiev，A.、Morgado，A.，Manquinho，V.M.、Lync，I.、Marques-Silva，J.：最大可满足性的进展。收录于：ECAI，pp.453\u2013458（2014）“}，{“key”：“21_CR26”，“doi-asserted-by”：“crossref”，“unstructured”：“Ignatiev，A.，Previti，A.，Liffiton，M.，Marques-Silva，J.：最小命中集二元化最小MUS提取。收录于CP（2015）”，“doi”：“10.1007\/978-3-193219-5_13”}，“key“：”21_CR27“，”series-time“：“计算机科学课堂笔记”，“doi-asserted-by“：”crossref“，”first page“：”152“，“doi”：“10.1007 \/978-3-319-11558-0_11”，“volume-title”：“人工智能中的逻辑学”，“author”：“S Jabbour”，“year”：“2014”，“unstructured”：“贾布尔，S.，Marques-Silva，J.，Sais，L.，Salhi，Y.：以合取范式枚举命题公式的素蕴涵体。in:Ferm\u00e9，E.，Leite，J.（编辑）JELIA 2014。LNCS，第8761卷，第152\u2013165页。Springer，Heidelberg（2014）“}，{“问题”：“2”，“关键”：“21_CR28”，“doi-asserted-by”：“出版商”，“首页”：“57”，“doi”：“10.1016\/j.jmp.2006.12.001”，“卷”：“51”，“作者”：“D Lafond”，“年份”：“2007”，“非结构化”：“Lafond，D.，Lacouture，Y.，Mineau，G.：基于规则的类别学习中的复杂性最小化：修改布尔概念目录和非最小规则的证据。《数学心理学杂志》51（2），57\u201374（2007）“，“Journal-title”：“数学心理学杂志”}，{“key”：“21_CR29”，“doi-asserted-by”：“crossref”，“unstructured”：“Lee，R.，Jiang，J.R.，Hung，W.：通过插值和可满足性求解分解大型布尔函数的双分解。In:DAC，pp.636\u2013641（2008）”，“doi”：“10.1145\/1391469.1391634“}，{“issue”：“2”，“key”：“21_CR30”，“doi-asserted-by”：“publisher”，“first page”：”203“，“doi”：“10.1016\/j.artint.2004.11.002”，”volume“：”163“，”author“：“P Liberatore”，“year”：“2005”，“unstructured”：“Liberastore，P.：逻辑I中的冗余：CNF命题公式。Artif.Intell.163（2），203\u2013232（2005）”，“日志标题”：“Artif公司。智力。“}，{”问题“：”4“，”密钥“：”21_CR31“，”doi-asserted-by“：”出版商“，”首页“：”415“，”doi“：”10.1007\/s10601-008-9058-8“，”卷“：”14“，”作者“：”MH Liffiton“，”年份“：”2009“，”非结构化“：”Liffiton，M.H.，Mneimneh，M.N.，Lynge，I.，Andraus，Z.S.，Marques-Silva，J.，Sakallah，K.A.：提取最小最小不可满足子公式的分支定界算法。约束14（4），415\u2013442（2009）“，”journal-title“：”Constraints“}，{“key”：“21_CR32”，“doi-asserted-by”：“crossref”，“unstructured”：“Liffiton，M.H.，Previti，A.，Malik，A.，Marques-Silva，J.：快速灵活的MUS枚举。约束（2015）。http://\/dx.doi.org\/10007\/s10601-015-9183-0”，”doi“：”10.1007\/s106 01-015-8183-0}，{“问题”：“1”，“密钥”：21_CR33“，”doi-asserted-by“：”publisher“，”first-pages“：”1“，”doi“：”10.1007\/s10817-007-9084-z“，”volume“：”40“，”author“：”MH-Liffiton“，”year“：”2008“，”unstructured“：”Liffiton，M.H.，Sakallah，K.A.：计算最小不可满足约束子集的算法。J.汽车。推理40（1），1\u201333（2008）”，“期刊标题”：“J.Autom。推理“}，{“key”：“21_CR34”，“unstructured”：“Lync，I.，Marques-Silva，J.：关于计算最小不可满足的核心。In:SAT（2004）”}，}，“key“：”21_CR35“，”unstructure“：”Marques-Shilva，J，Heras，F.，Janota，M.，Previti，A.，Belovdoi-asserted-by“：”publisher“，”first-page“：”1417“，”doi“：”10.1002\/j.1538-7305.1956.tb03835.x“，”volume“：”35“，”author“：”EJ McCluskey“，“year”：“1956”，“unstructured”：“McCluskey，E.j.：布尔函数的最小化。贝尔系统技术期刊35（6），1417\u20131444（1956）“，“期刊标题”：“贝尔系统技术杂志”}，{“key”：“21_CR37”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《459》，“doi”：“10.1007\/11499107_39”，“volume-title”：《可满足性测试的理论与应用》，“author”：“A Meier”，“year”：“2005年，“非结构化”：“Meier，A.，Sorge，V.：SAT求解器的一组新的代数基准问题。摘自：Bacchus，F.，Walsh，T.（编辑）SAT 2005。LNCS，第3569卷，第459\u2013466页。Springer，Heidelberg（2005）“}，{”key“：”21_CR38“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“467”，”doi“：”10.1007\/11499107_40“，”volume-title“：“可满足性测试的理论与应用”，”author“：”M Mneimneh“，”year“：”2005“，”unstructured“：”Mneimneh，M.，Lync，I.，Andraus，Z.S.，Marques-Silva，J.，Sakallah，K.A.：提取最小最小不可满足公式的分支定界算法。摘自：Bacchus，F.，Walsh，T.（编辑）SAT 2005。LNCS，第3569卷，第467\u2013474页。Springer，Heidelberg（2005）“}，{”key“：”21_CR39“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“564”，”doi“：”10.1007\/978-3319-10428-7_41“，”volume-title“：“约束编程的原理与实践”，“author”：“A Morgado”，“year”：“2014”，“unstructured”：“Morgado，A.，Dodaro，C.，Marques-Silva，J.：具有软基数约束的核引导maxSAT。在：O\u2019Sulivan，B.（编辑）CP 2014中。LNCS，第8656卷，第564\u2013573页。Springer，Heidelberg（2014）“}，{“问题”：“4”，“关键”：“21_CR40”，“doi-asserted-by”：“出版商”，“首页”：“478”，“doi”：“10.1007\/s10601-013-9146-2”，“卷”：“18”，“作者”：“A Morgado”，“年份”：“2013”，“非结构化”：“Morgado，A.，Heras，F.，Liffiton，M.H.，Planes，J.，Marques-Silva，J.：迭代和核心制导最大卫星解算：调查和评估。约束18（4），478\u2013534（2013）“，“journal-title”：“约束”}，{“key”：“21_CR41”，“unstructured”：“Nadel，A.：提升最小不可满足岩芯提取。摘自：FMCAD，pp.221\u2013229（2010）”}、{“密钥”：“21 _CR42”，“doi-asserted-by”：“crossref”，“非结构化”：“Nadel，A.，Ryvchin，V.，Strichman，O.：有效的MUS提取和分辨率。收录于：FMCAD，第197\u2013200页（2013）“，“DOI”：“10.1109\/FMCAD.2013.6679410”}，{“key”：“21_CR43”，“DOI-asserted-by”：“crossref”，“unstructured”：“N\u00f6hrer，A.，Biere，A.，Egyed，A.：管理与HUMUS的SAT不一致性。收录自：VAMOS，第83\u201391页（2012）：“Papadimitriou，C.H.：计算复杂性。Addison-Wesley（1994）“}，{“key”：“21_CR45”，“unstructured”：“Previti，A.，Ignatiev，A.，Morgado，A.和Marques-Silva，J.：非子句公式的素数编译。In:IJCAI，pp.1980\u20131987（2015）”}，“key“：”21_CR46“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first-page”：“112”，“doi”：“10.1007\/978-3-642-36249-1_5“，“volume-title”：“自适应系统的保证”，“author”：“C Priesterjahn”，“year”：“2013”，“unstructured”：“Priesterjahn，C.，Steenken，D.，Tichy，M.：自愈系统的时间危险分析。收录于：C\u00e1mara，J.、de Lemos，R.、Ghezzi，C.、Lopes，A.（编辑）《自适应系统的保证》。LNCS，第7740卷，第112\u2013151页。Springer，Heidelberg（2013）“}，{”key“：”21_CR47“，”doi-asserted-by“：”crossref“，”unstructured“：”Quine，W.V.：简化真值函数的问题。美国数学月刊，521\u2013531（1952）“，”doi“：”10.1080\/00029890.1952.11988183“}”，{“key”：奎因：简化真值函数的方法。美国数学月刊，627\u2013631（1955）“，”DOI“：”10.1080\/00029890.1955.11988710“}，{“key”：“21_CR49”，“DOI-asserted-by”：“crossref”，“unstructured”：“Reh\u00e1k，M.、Staab，E.、Fusenig，V.、Stiborek，J.、Grill，M.，Bartos，K.、Pechoucek，M..、Engel，T.：威胁模型驱动的入侵检测系统运行时自适应和评估。在：ICAC，pp.65\u201366（2009）“，”DOI“：”10.1145\/1555228.1555248“}，”issue“：”1“，”key“：”21_CR50“，”DOI-asserted-by“：”publisher“，”first page“：“57”，“DOI”：“10.1016\/0004-3702（87）90062-2”，“volume”：“32”，“author”：“R Reiter”，“year”：“1987”，“unstructured”：“Reiter，R.：从第一原理诊断的理论。Artif.32（1），57\u201395（1987）“，”journal-title“：”文章。智力。“}，{”issue“：”5“，”key“：”21_CR51“，”doi-asserted-by“：”publisher“，”first-page“：”727“，”doi“：”10.1109\/TCAD.1987.1270318“，”volume“：“6”，”author“：”RL Rudell“，”year“：”1987“，”unstructured“：”Rudell，R.L.，Sangiovanni-Vincentelli，A.L.：PLA优化的多值最小化。IEEE Trans-on CAD of Integrated Circuits and Systems 6（5），727\u2013750（1987）“，“期刊标题”：“集成电路和系统CAD上的IEEE Trans”}，{“key”：“21_CR52”，“unstructured”：“Sapra，S.，Theobald，M.，Clarke，E.M.：基于SAT的逻辑最小化算法。In:ICCD，pp.510\u2013517（2003）”}、{“issue”：“10”，“key“21_CR53”，“doi-asserted-by”：“publisher”，“first page”：”879“doi”：“10.1109\/TC.1984.1676349“，”卷“：”33“，”作者“：”T Sasao“，”年份“：”1984“，”非结构化“：”Sasao，T.：PLA\u2019s的输入变量分配和输出阶段优化。IEEE传输。计算机33（10），879\u2013894（1984）“，“期刊标题”：“IEEE Trans。计算机“}，{”问题“：”5“，”键“：”21_CR54“，”doi-asserted-by“：”出版商“，”首页“：”501“，”doi“：”10.1016\/j.jmp.2006.05.007“，”卷“：”50“，”作者“：”R Vigo“，“年”：”2006“，”非结构化“：”Vigo，R.：布尔概念复杂性的注释。《数学心理学杂志》50（5），501\u2013510（2006）“，”杂志标题“：”数学心理学杂志“}，{“key”：“21_CR55”，“doi-asserted-by”：“crossref”，“unstructured”：“Wu，M.：使用位图进行选择的查询优化。收录于：SIGMOD，pp.227\u2013238（1999）”，“doi”：“10.1145\/304181.304202”}，“issue”：“5”，“key“：”21_CR56 7“，”卷“：”7“，“作者“：”Yagiura“，”year“：”2001“，”unstructured“：”Yagiura，M.，Ibaraki，T.：MAX SAT的高效2和3翻转邻域搜索算法：实验评估。J.Heuristics 7（5），423\u2013442（2001）“，“journal-title”：“J.Heristics”}，{“key”：“21_CR57”，“unstructured”：“Yang，S.：逻辑综合与优化基准用户指南：3.0版。技术报告1991-IWLS-UG-Saeyang，MCNC，三角研究园，1991年1月“}，{“问题”：“1”，“关键”：“21_CR58”，“doi-asserted-by”：“出版商”，“首页”：“126”，“doi”：“10.1109\/TC.2013.200”，“卷”：“64”，“作者”：“Z Zhou”，“年份”：“2015”，“非结构化”：“Zhou，Z.，Huang，D.，Wang，Z.：高效的基于隐私保护的密文策略属性的加密和广播加密。IEEE传输。计算机64（1），126\u2013138（2015）”，“期刊标题”：“IEEE Trans。计算机“}”，“container-title”：[“计算机科学课堂讲稿”，“可满足性测试理论与应用--SAT 2015”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-24318-4_21”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2023,8,13]]，“date-time”：“2023-08-13T23:49:47Z”，“timestamp”：1691970587000}，“score”：1，“resource”：{”primary“:{”URL“：”http://\link.springer.com/10.1007\/978-3319-24318-4_21“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{“date-ports”：[2015]]}，《ISBN》：[“9783319”243177“，”9783319243184“]，”references-count“：58，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-24318-4_21“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2015】】}}}}