{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,29]]，“日期时间”：“2024-04-29T18:30:17Z”，“时间戳”：1714415417515}，“出版商位置”：“柏林，海德堡”，“参考计数”：38，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783662545768”，“类型”：“打印”}，{“值”：“9783662545775”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2017,1,1]]，“date-time”：“2017-01-01T00:00:00Z”，“timestamp”：14832288000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}，{“开始”：{“date-parts”：[2017,1,1]，“日期时间“：”2017-01-01T00:00:00Z“，”时间戳“：14832288000000}，”内容-版本“：“vor”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2017]]}，”DOI“：”10.1007\/978-3662-54577-5_27“，”type“：”book-capter“，”created“：{”日期部分“：[[2017,3,30]]，“日期时间”：“2017-03-30T10:48:06Z”，“时间戳”：1490870886000}，“页面”：“461-478”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：6，“标题”：[“使用部分Max-SAT最小化可视下推自动机”]，“前缀”：“10.1007”，《作者》：[{“给定”：“Matthias”，“family”：“Heizmann”，“sequence”：“first”，“从属关系“：[]}，{“given”：“Christian”，“family”：“Schilling”，“sequence”：“additional”，“affiliation”：[]}，{“fixed”：“Daniel”，“家族”：“Tischner”，“serquence”:“additionable”，“filiation“：[]2]，“member”：“297”，“published-on-line”：{“date-parts”：[[2017,3,31]]}；“reference”：[{“key”：”27_CR1“unstructured”：“Abdulla，P.A.，Chen，Y.，Hol\u00edk，L.，Vojnar，T.：简化的中介（关于最小化交替B\u00fcchi自动机）。收录于：FSTTCS，LIPIcs，第4卷，pp.1\u201312。Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik（2009）“}，{“key”：“27_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Abel，A.，Reineke，J.：MeMin:基于SAT的不完全指定粉状机的精确最小化。见：ICCAD，第94\u2013101页。IEEE（2015）“，”DOI“：”10.1109\/ICCAD.2015.7372555“}，{”key“：”27_CR3“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“717”，“DOI”：“10.1007\/978-3662-49674-9_46”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“R Almeida”，“year”：“2016”，“unstructured”：“”Almeida，R.，Hol\u00edk，L.，Mayr，R.：非确定性树自动机的约简。收录：Chechik，M.，Raskin，J.-F.（编辑）TACAS 2016。LNCS，第9636卷，第717\u2013735页。斯普林格，海德堡（2016）。doi:10.1007\/978-3-662-49674-9_46“｝，｛“key”：“27_CR4”，“doi asserted by”：“crossref”，“nonstructured”：“Alur，R.，Bouajjani，A.，Esparza，J.：模型检查过程程序。In：Handbook of Model checking.Springer，Heidelberg（2017，即将出版）”，“doi”：“10.1007\/978-3-319-10575-8_17”｝，｛“key”：“27_CR5”，“series title”：“计算机科学讲义”doi-asserted-by“：”publisher“，”first page“：”1102“，”doi“：”10.1007\/11523468_89“，”volume-title“：”Automata，Languages and Programming“，”author“：”R Alur“，“year”：“2005”，”unstructured“：”Alur，R.，Kumar，V.，Madhusudan，P.，Viswanathan，M.：可视下推语言的同义词。在：Caires，L.，Italiano，G.F.，Monteiro，L.，Palamidessi，C.，Yung，M.（编辑）ICALP 2005。LNCS，第3580卷，第1102\u20131114页。斯普林格，海德堡（2005）。doi:10.1007\/11522346_89“｝，｛“key”：“27_CR6”，“doi asserted by”：“crossref”，“nonstructured”：“Alur，R.，Madhusudan，P.：可视下推语言。在：STOC，pp.202\u2013211。ACM（2004）“，“DOI”：“10.1145\/1007352.1007390”}，{“key”：“27_CR7”，“unstructured”：“Alur，R.，Madhusudan，P.：为单词添加嵌套结构。J.ACM 56（3）（2009）。文章编号：16”}、{“key”：“28_CR8”，“series-title”：“计算机科学课堂笔记”，“DOI-asserted-by”：“publisher”，“首页”：“266”，“DOI:”10.1007\/978-3662-43613 4_17“，”卷标签“：”分布式对象、组件和系统的形式化技术”，“作者”：“S Baarir”，“年份”：“2014年”，“非结构化”：“Baarir，S.，Duret-Lutz，A.：机械化确定性广义B\u00fcchi自动机的最小化。收录于：\u00c1brah\u00e1m，E.，Palamidessi，C.（编辑）FORTE 2014。LNCS，第8461卷，第266\u2013283页。斯普林格，海德堡（2014）。doi:10.1007\/978-3662-43613-4_17“}，{“key”：“27_CR9”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”79“，“doi”：“10.1007\/968-3662-48899-7_6”，“volume-title”：”编程逻辑、人工智能和推理“，”author“：”S Baarir“，”年份“：”2015“，”非结构化“：”Baarir，S.，Duret-Lutz，A.：基于SAT的确定性$$\\omega$$-自动机最小化。作者：Davis，M.，Fehnker，A.，McIver，A.，Voronkov，A.（编辑）LPAR 2015。LNCS，第9450卷，第79页\u201387。斯普林格，海德堡（2015）。doi:10.1007\/978-3662-48899-7_6“}，{“key”：“27_CR10”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“887”，“doi”：“10.1007\/968-3662-49674-9_55”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“D Beyer”，《年份》：“2016”，“非结构化”：“Beyer，D.：与BenchExec和目击者的可靠和可复制的竞争结果（2016年SV-COMP报告）。收录：Chechik，M.，Raskin，J.-F.（编辑）TACAS 2016。LNCS，第9636卷，第887\u2013904页。斯普林格，海德堡（2016）。doi:10.1007\/978-3662-49674-9_55“}，{“key”：“27_CR11”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“84”，“doi”：“10.1007\/9778-3-642-39274-0_9”，“volume-title”：《自动机的实现与应用》，“author”：“M Caralp”，“year”：“2013”，“unstructured”：“Caralp，M.，Reynier，P.-A.，Talbot，J.-M.：修整明显的下推自动机。收录：Konstantinidis，S.（编辑）CIAA 2013。LNCS，第7982卷，第84\u201396页。斯普林格，海德堡（2013）。doi:10.1007\/978-3-642-39274-0_9“}，{“key”：“27_CR12”，“unstructured”：“Cha，B.，Iwama，K.，Kambayashi，Y.，Miyazaki，S.：部分MAXSAT的局部搜索算法。摘自：AAAI\/IAAI，pp.263\u2013268。AAAI出版社\/麻省理工学院出版社（1997）“}，{”key“：”27_CR13“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“135”，”doi“：”10.1007\/978-3-540-74456-6_14“，”volume-title“：“2007计算机科学数学基础”，”author“：”P Chervet“，”year“：”2007“，”unstructured“：”Chervet，P.，Walukiewicz，I.：最小化可视下推自动机的变体。收录于：Ku\u010dera，L.，Ku\u011dera，A.（编辑）MFCS 2007。LNCS，第4708卷，第135页\u2013146。施普林格，海德堡（2007）。doi:10.1007\/978-3-540-74456-6_14“}，{“key”：“27_CR14”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”258“，“doi”：“10.1007\/988-3642-22012-8_20”，“volume-title”：”自动化，语言和编程“，”作者“：”L Clemente“，”年份“2011”，“非结构化”：“克莱门特，L.：B\u00fcchi自动机可以有较小的商。收录人：Aceto，L.、Henzinger，M.、Sgall，J.（编辑）ICALP 2011。LNCS，第6756卷，第258\u2013270页。斯普林格，海德堡（2011）。doi:10.1007\/978-3642-22012-8_20“}，{“key”：“27_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“D\u2019Antoni，L.，Veanes，M.：符号自动机最小化。摘自：POPL，pp.541\u2013554。ACM（2014）“，”DOI“：”10.1145\/2578855.2535849“}，{”key“：”27_CR16“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“255”，“DOI”：“10.1007\/3-540-55179-4_25”，“volume-title”：“计算机辅助验证”，“author”：“DL Dill”，“year”：“1992”，“unstructured”：“”Dill，D.L.，Hu，A.J.，Wong-Toi，H.：使用模拟预订单检查语言包含。收录：Larsen，K.G.，Skou，A.（编辑）CAV 1991。LNCS，第575卷，第255\u2013265页。斯普林格，海德堡（1992）。doi:10.1007\/3-540-55179-4_25“}，{“key”：“27_CR17”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“326”，“doi”：“10.1007\/978-3642-14186-7_28”，“volume-title”：《可满足性测试的理论与应用》，“author”：“R Ehlers”，“year”：“2010”，“unstructured”：“Ehlers，R.：精确使用SAT求解最小化确定性B\u00fcchi自动机。收录：Strichman，O.，Szeider，S.（编辑）SAT 2010。LNCS，第6175卷，第326\u2013332页。施普林格，海德堡（2010）。doi:10.1007\/978-3-642-14186-7_28“｝，｛“issue”：“5”，“key”：“27_CR18”，“doi asserted by”：“publisher”，“first page”：“1159”，“doi”：“10.1137\/S09753970034020675”，“volume”：“34”，“author”：“K Etessami”，“year”：“2005”，“nonstructured”：“Etessami，K.，Wilke，T.，Schuller，R.A.：B\u00fcchi自动机的公平模拟关系、奇偶博弈和状态空间约简。SIAM J.计算。34（5），1159\u20131175（2005）”，“期刊标题”：“SIAM J.Comput。“}，{”key“：”27_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-pages“：”252“，”doi“：”10.1007\/11814948_25“，”volume-title“：“可满足性测试理论与应用-SAT 2006”，”author“：”Z-Fu“，”year“：”2006“，”unstructured“：”Fu，Z.，Malik，S.：关于部分MAX-SAT问题的求解。在：比尔，A.，戈梅斯，C.P.（编辑）SAT 2006。LNCS，第4121卷，第252\u2013265页。斯普林格，海德堡（2006）。doi:10.1007\/11814948_25“}，{“key”：“27_CR20”，“series-title”：“计算机科学课堂讲稿（人工智能课堂讲稿）”，“doi-asserted-by”：“publisher”，“first-page”：“81”，“doi”：“10.1007\/978-3642-14684-8_9”，“volume-title”：《Finite-State方法与自然语言处理》，“author”：“J Geldenhuys”，“year”：“2010”，“unstructured”：“Geldenhuys，J.，Merwe，B.，Zijl，L.：使用SAT解算器减少非确定性有限自动机。收录人：Yli-Jyr\u00e4，A.，Kornai，A.，Sakarovitch，J.，Watson，B.（编辑）FSMNLP 2009。LNCS（LNAI），第6062卷，第81\u201392页。施普林格，海德堡（2010）。doi:10.1007\/978-3642-14684-8_9“}，{“问题”：“1”，“密钥”：“27_CR21”，“doi-asserted-by”：“publisher”，“首页”：“83”，“doi”：“10.1007\/s10703-012-0100-8”，“卷”：“41”，“作者”：“P Habermehl”，《年份》：“2012”，“非结构化”：“Habermehl，P.，Hol\u00edk，L.，Rogalewicz，A.，Sim\u00e1cek，J.，Vojnar，T.：堆操作验证的森林自动机。形式化方法系统。设计。41（1），83\u2013106（2012）“，“期刊标题”：“正式方法体系。设计。“}，{”key“：”27_CR22“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”581“，”doi“：”10.1007\/978-3642-31424-7_41“，”volume-title“：“计算机辅助验证”，”author“：”WR Harris“，“年份”：“2012”，”unstructured“：”Harris，W.R.，Jha，S.，Reps，T.：通过明显的下推安全游戏确保编程安全。收录：Madhusudan，P.，Seshia，S.A.（编辑）CAV 2012。LNCS，第7358卷，第581\u2013598页。施普林格，海德堡（2012）。doi:10.1007\/978-3642-31424-7_41“}，{“key”：“27_CR23”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”950“，“doi”：“10.1007\/9762-49674-9_68”，“volume-title”：”系统构建和分析的工具和算法“，”author“：”M Heizmann“，”年份“：”2016“，”非结构化“：”Heizmann，M.、Dietsch，D.、Greitschus，M.，Leike，J.、Musa，B.、Sch\u00e4tzle，C.、Podelski，A.：具有双轨证明的终极自动器。收录：Chechik，M.，Raskin，J.-F.（编辑）TACAS 2016。LNCS，第9636卷，第950\u2013953页。斯普林格，海德堡（2016）。doi:10.1007\/978-3662-49674-9_68“}，{“key”：“27_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Heizmann，M.，Hoenicke，J.，Podelski，A.：嵌套插值。In:POPL，pp.471\u2013482。ACM（2010）“，”DOI“：”10.1145\/1707801.1706353“}，{”key“：”27_CR25“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“36”，”DOI:“10.1007\/978-3642-39799-8_2”，“volume-title”：“计算机辅助验证”，“author”：“M Heizmann”，“year”：“2013”，“unstructured”：“”Heizmann，M.，Hoenicke，J.，Podelski，A.：为喜欢自动机的人进行软件模型检查。收录：Sharygina，N.，Veith，H.（编辑）CAV 2013。LNCS，第8044卷，第36\u201352页。斯普林格，海德堡（2013）。doi:10.1007，978-3-642-39799-8_2“}，{“key”：“27_CR26”，“doi-asserted-by”：“crossref”，“unstructured”：“Heizmann，M.，Schilling，C.，Tischner，D.：使用部分Max-SAT最小化可视下推自动机，vol.abs\/1701.05160（2017）”，“doi”：“10.1007，/978-3662-54577-5_27”}，“issue”：“3”，“key“：”27_CR27“，”doi-assert-by“：“publisher”，“首页”：“270“，“DOI”：“10.1007”，“volume”：“2”，“author”：“GJ Holzmann”，“year”：“1999”，“unstructured”：“Holzmann-G.J.，Puri，A.：可达状态的最小化自动机表示。STTT 2（3），270\u2013278（1999）“，“journal-title”：“STTT”}，{“key”：“27_CR28”，“doi-asserted-by”：“crossref”，“unstructured”：“Hopcroft，J.E.：有限自动机中最小化状态的n log n算法。摘自：机器与计算理论，第189\u2013196页。学术出版社（1971）“，”DOI“：”10.1016\/B978-0-12-417750-5.50022-1“}，{”issue“：”4“，”key“：”27_CR29“，”DOI-asserted-by“：”publisher“，”first page“：“571”，“DOI”：“10.1142\/S01290541200128X”，“volume”：“13”，“author”：“N Klarlund”，“year”：“2002”，“unstructured”：“Klarlud，N.，M\u00f8ller，A.，Schwartzbach，M.I.：MONA实施秘密。国际期刊。已找到。计算。科学。13（4），571\u2013586（2002）“，“期刊标题”：“国际期刊发现。计算。科学。“}，{”key“：”27_CR30“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“203”，“doi”：“10.1007\/11817949_14”，“volume-title”：“CONCUR 2006\u2013并发理论”，“author”：“V Kumar”，“year”：“2006”，“unstructured”：“Kumar，V.、Madhusudan，P.、Viswanathan，M.：布尔程序的最小化、学习和一致性测试。收录：Baier，C.，Hermanns，H.（编辑）CONCUR 2006。LNCS，第4137卷，第203\u2013217页。斯普林格，海德堡（2006）。doi:10.1007\/11817949_14“}，{“key”：“27_CR31”，“doi-asserted-by”：“crossref”，“unstructured”：“Kumar，V.，Madhusudan，P.，Viswanathan，M.：流式XML的可视下推自动机。收录：WWW，pp.1053\u20131062。ACM（2007）“，“DOI”：“10.1145\/1242572.1242714”}，{“key”：“27_CR32”，“DOI-asserted-by”：“crossref”，“unstructured”：“Mayr，R.，Clemente，L.：高级自动机最小化。摘自：POPL，pp.63\u201374。ACM（2013）“，“DOI”：“10.1145\/2480359.2429079”}，{“key”：“27_CR33”，“DOI-asserted-by”：“crossref”，“unstructured”：“Mozafari，B.，Zeng，K.，Zaniolo，C.：基于XML流的高性能复杂事件处理。摘自：SIGMOD Conference，pp.253\u2013264。ACM（2012）”，“DOI”：“10.1145\/2213836213866”}，｛“key”：“27_CR34”，“first page”：“1”，“volume”：“1060”，“author”：“C Pitcher”，“year”：“2005”，“nonstructured”：“Pitcher，C.：XML流处理的可视下推表达式效果。XML编程语言技术1060，1\u201314（2005）”，“journal title”：“XML编程语言技术”｝，{“key”：“27_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Srba，J.：超越可视下推自动机上的语言等价性。逻辑方法计算科学5（1）（2009）”，“doi”：“10.2168 \/LMCS-5（1:2）2009”}，{”key“：”27_CR36“，”series-title“：”计算机科学课堂讲稿（人工智能课堂讲稿）“，”doi-assert-by“：”publisher“，“首页”：“396”，“DOI”：“10.1007\/1159191-28”，“卷标题”：“编程、人工智能和推理逻辑”，“作者”：“D Tabakov”，“年份”：“2005”，“非结构化”：“Tabakov，D.，Vardi，M.Y.：经典自动机结构的实验评估。In：Sutcliffe，G.，Voronkov，A.（编辑）LPAR2005。LNCS（LNAI），第3835卷，第396\u2013411页。斯普林格，海德堡（2005）。doi:10.1007\/1159191_28“｝，｛“key”：“27_CR37”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“first page”：“288”，“doi”：“10.1007\/978-3-642-14295-6_27”，“volume title”：“Computer Aided Verification”，“author”：“A Thakur”，“year”：“2010”，“nonstructured”：“Thakur，A.，Lim，J.，Lal，A.，Burton，A.，Driscoll，E.，Elder，M.，Andersen，T.，Reps，T.：机器代码的定向证明生成。收录：Touili，T.、Cook，B.、Jackson，P.（编辑）CAV 2010。LNCS，第6174卷，第288\u2013305页。施普林格，海德堡（2010）。doi:10.1007\/978-3642-14295-6_27“}，{“key”：“27_CR38”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”219“，“doi”：“10.1007\/988-3-540-77684-0_16”，“volume-title”：”信息和知识系统基础“，”author“：”A Thomo“，”年份“：”2008“，”非结构化“：”Thomo，A.、Venkatesh，S.、Ye，Y.Y.：可视下推传感器，用于流式XML的近似验证。摘自：Hartmann，S.，Kern-Isberner，G.（编辑）FoIKS 2008。LNCS，第4932卷，第219\u2013238页。施普林格，海德堡（2008）。doi:10.1007\/978-3-540-77684-0_16“}]，“container-title”：[“系统构建和分析的工具和算法”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/9783-662-54577-5_27”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2021,4,21]]，“日期-时间”：“2021-04-21T02:42:02Z”，“时间戳”：1618972922000}，“分数”：1，“资源”：{“主要”:{“URL”：“https:\/\/link.springer.com\/10.10007\/978-3662-54577-5_27”}，“ISBN”：[“9783662545768”，“978366 2545775”]，“references-count“：38，”URL“：”http://\/dx.doi.org\/10.1007\/978-3662-54577-5_27“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，”type“:”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：【】，”published“：{“date-parts”：【2017】，“断言”：[{“value”：“2017年3月31日”，“order”：1，“name”：“first_online”，“label”：“First Online”，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“TACAS”，“order”：1，“name”:“conference_acrombit”，“标签”：“conference acronym”，”group“：{”name“：”ConferenceInfoconference_name“，”label“：”会议名称“，”group“：{”name“：”ConferenceInfo“，”label“：“会议信息”}}，{”value“：”Uppsala“，”order“：3，”name“:”conference_city“，”标签“：”conferency city“，”group“：”{“name”：“ConferenceInformo”，“label”：“conferenceInformation”}，“value”：“Sweden”，“order”：4，“name”:“conference_country”，“标签”：“会议国家”，“”group“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}，{”value“：”2017“，”order“：5，”name“:”Conference_year“，”tabel“：“会议年份”，“group”：{“name”：“ConferenceInformo”，“label”：“会议信息”}，}，“value”：“2017年4月24日”，“order”：7，“name”:“Conference_start_date”，“table”：“Conference_ster date”，“group”：“，”label“：”Conference Information“}}，{“value”：“2017年4月28日”，“order”：8，“name”：“Conference_end_date”，“label”：“ConferenceEnd date”，“group”：{“name”:“ConferenceInformation”，“标签”：“会议信息”}}value“：”tacas2017“，”order“：10，”name“：”conference_id“，”label“：”会议id“，”group“：}，{“值”：“此内容已提供给所有人。“，”name“：”free“，”label“：”free to read“}]}}”