{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T05:55:40Z”，“时间戳”：1725688540931}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 642316111“}，{”类型“：“electronic”，“value”：“9783642316128”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-3162-8_28“，”type“：”book-capter“，”created“：”{“date-part”：[2012,6,18]]，“date-time”：“2012-06-18T09:14:4 2Z”，“时间戳”：1340010882000}，“页面”：“369-382”，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“Finding Efficient Circuits for Ensemble Computation”]，“prefix”：“10.1007”，”author“：[{”given“：”Matti“，“family”：“J\u00e4rvisalo”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Koivisto”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Janne H.”，“family”：“Korhonen”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“28_CR1”，“nonstructured”：“Biere，A.：Lingeling，Plingeling，PicoSAT和PrecoSAT在2010年SAT竞赛中的表现。FMV技术报告10/1，奥地利林茨约翰内斯·开普勒大学（2010）“}，{“key”：“28_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Bj\u00f6rklund，A.，Husfeldt，T.，Kaski，P.，Koivisto，M.，Nederlof，J.，Parviainen，P.：具有少量不可约格的快速zeta变换。In:Proc.\u00a0SODA，pp.1436\u20131444。SIAM（2012）“，”DOI“：”10.1137\/1.9781611973099.113“}，{”key“：”28_CR3“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“313”，“DOI”：“10.1007\/978-3642-14186-7_27”，“volume-title”：“可满足性测试的理论与应用”，“author”：“E.Dantsin”，“year”：“2010”，“unstructured”：“”Dantsin，E.，Wolpert，A.：SAT的适度指数时间。摘自：Strichman，O.，Szeider，S.（编辑）SAT 2010。LNCS，第u00a06175卷，第313\u2013325页。Springer，Heidelberg（2010）“}，{”issue“：”7“，”key“：”28_CR4“，”doi-asserted-by“：”publisher“，”first page“：“264”，“doi”：“10.1016\/j.ipl.2010.007”，“volume”：“110”，“author”：“E.Demenkov”，“year”：“2010”，“unstructured”：“Demenkov，E.，Kojevnikov，A.，Kulikov，A.S.，Yaroslavtsev，G.：对称函数布尔电路复杂性的新上界。信息处理。莱特。\u00a0110（7），264\u2013267（2010）“，“日记标题”：“Inf.Process。莱特。“}，{”key“：”28_CR5“，”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，第u00a02919卷，第502\u2013518页。Springer，Heidelberg（2004）“}，{”key“：”28_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“410”，”doi“：”10.1007\/3-540-36553-2_37“，”volume-title“：“进化系统：从生物学到硬件”，”author“：”G.G.G.Estrada“，”year“：”2003“，”unstructured“：”Estrada，G.G.：《关于使用SAT设计逻辑电路的说明》，载于：Tyrrell，A.M.，Haddow，P.C.，Torresen，J.（编辑）ICES 2003。LNCS，卷\u00a02606，第410\u2013421页。Springer，Heidelberg（2003）“}，{”key“：”28_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“71”，”doi“：”10.1007\/978-3642-14186-7_8“，”volume-title“：“可满足性测试的理论与应用\u2013 SAT 2010”，“author”：“C.Fuhs”，“year”：“2010”，”unstructured“：”Fuhs，C.，Schneider-Kamp，P.：使用SAT综合GF（2）上的最短线性直线程序。In:Strichman，O.，Szeider，S.（编辑）SAT 2010。LNCS，第u00a06175卷，第71\u201384页。Springer，Heidelberg（2010）“}，{“key”：“28_CR8”，“unstructured”：“Garey，M.R.，Johnson，D.S.：计算机和不可修复性：NP-完备性理论指南。W.H.Freeman and Company（1979）”}，“key“：”28_CR9“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”509“，”doi“：”10.1007\/978-3-642-04238-6_50“，“volume-title”：“逻辑编程和非单调推理”，“author”：“M.Gebser”，“year”：“2009”，“unstructured”：“Gebser，M.，Kaufmann，B.，Schaub，T.：冲突驱动的答案集求解器卡环：进度报告。In:Erdem，E.，Lin，F.，Schaub，T.（编辑）LPNMR 2009。LNCS，第u00a05753卷，第509\u2013514页。Springer，Heidelberg（2009）“}，{”key“：”28_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“345”，”doi“：”10.1007\/11527695_26“，”volume-title“：“可满足性测试的理论与应用”，“author”：“M.Heule”，“year”：“2005”，“unstructured”：“Heule，M.，Dufour，M..，van Zwieten，J.E.，van Maaren，H.：March_eq：将附加推理应用于高效的Look-Ahead SAT求解器。收录：Hoos，H.H.，Mitchell，D.G.（编辑）SAT 2004。LNCS，第u00a03542卷，第345\u2013359页。Springer，Heidelberg（2005）“}，{”issue“：”2“，”key“：”28_CR11“，”doi-asserted-by“：”publisher“，”first page“：“367”，”doi“：”10.1006\/jcss.2000.1727“，”volume“：7\u2013375（2001）“，“新闻标题”：“J。计算。系统科学。}，{“key”：“28_CR12”，“unstructured”：“Kamath，A.P.，Karmarkar，N.K.，Ramakrishnan，K.G.，Resende，M.G.C.：布尔向量函数合成的内点方法。摘自：Proc.\u00a0MWSCAS，第185\u2013189页。IEEE（1993）“}，{”key“：”28_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“32”，“doi”：“10.1007\/978-3642-02777-2_5”，“volume-title”：“可满足性测试的理论与应用-SAT 2009”，“author”：“A.Kojevnikov”，“year”：“2009”，”非结构化“：”Kojevnikov，A.，Kulikov，A.S.，Yaroslavtsev，G.：使用SAT解决方案寻找有效电路。收录：Kullmann，O.（编辑）SAT 2009。LNCS，卷\u00a05584，第32页\u201344。Springer，Heidelberg（2009）“}，{“key”：“28_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Lokshtanov，D.，Marx，D.，Saurabh，S.：有界树宽图上的已知算法可能是最优的。摘自：Proc.\u00a0SODA，第777\u2013789页。SIAM（2010）“，”DOI“：”10.1137\/1.9781611973082.61“}，{”key“：”28_CR15“，”unstructured“：”McKay，B.：nauty user\u2019s guide.Tech.Rep.TR-CS-90-02，澳大利亚国立大学计算机科学系（1990）“}”，{“key”：“28_CR16”，“DOI-asserted-by”：“crossref”，“unstructure”：“P\u0103tra\u015fcu，M.，Williams，R.：关于更快SAT算法的可能性。In：程序。\u00a0SODA，第1065\u20131075页。SIAM（2010）”，“DOI”：“10.1137\/1.9781611973075.86”}，｛“key”：“28_CR17”，“DOI断言者”：“crossref”，“首页”：“466”，“DOI”：“10.1007\/978-3-642-81955-1_28”，“卷标题”：“推理自动化2：计算逻辑经典论文1967-1970”，“作者”：“G.S.Tseitin”，“年份”：“1983”，“非结构化”：“谢廷，G.S.：关于命题演算中推导的复杂性。摘自：《推理自动化2：计算逻辑经典论文1967-1970》，第466\u2013483页。Springer，Heidelberg（1983）“}，{”issue“：”2“，”key“：”28_CR18“，”doi-asserted-by“：”publisher“，”first page“：“531”，“doi”：“10.1137\/0215037”，“volume”：“15”，“author”：“L.G.Valiant”，“year”：“1986”，“unstructured”：“Valiant，L.G.：否定对于布尔切片函数是无能为力的。SIAM J.Compute.\u00a015（2），531\u2013535（1986）”，“journal-title”：“SIAM J.计算机”}，{“volume-title”：“图论概论”，“year”：“1996”，“author”：“D.B.West”，“key”：“28_CR19”，“unstructured”：“West，D.B.：图论导论。Prentice Hall Inc.，Upper Saddle River（1996）”}，{《问题》：“2-3”，“密钥”：“28 _ CR20”，“doi-asserted-by”：“publisher”，“首页”：“357”，“doi”：“10.1016\/j.tcs.2005.09.023”，“卷”：“348”，“作者”：“R。Williams”，“年份”：“2005年”，“非结构化”：“Williams，R.：最优2-约束满足的新算法及其含义。定理。计算。科学。\u00a0348（2-3），357\u2013365（2005）“，“新闻标题”：“理论。计算。科学。}，{“key”：“28_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Williams，R.：改进穷举搜索意味着超多项式下限。摘自：Proc.\u00a0STOC，pp.231\u2013240。ACM（2010）“，”DOI“：”10.1145\/1806689.1806723“}]，”container-title“：[”计算机科学讲义“，”可满足性测试理论与应用\u2013 SAT 2012“]，”original-title”：[]，”link“：[{”URL“：”http://link.springer.com/content\/pdf\/10007\/978-3642-3162-8_28.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2021,54]]，“日期时间”：“2021-05-04T11:40:15Z”，“时间戳”：1620128415000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-642-31612-8_28”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2012]]｝，“ISBN”：[”978364231 6111“，”9783642316128“]，”references-count“：21，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-31612-8_28“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“type”：“electronic”，“value”：”1611-349“}]，“subject”：[]，“published”：{“date-pa”rts“：[[2012]]}}