{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,1]]，“日期时间”：“2023-09-01T20:00:18Z”，“时间戳”：1693598418150}，“引用计数”：23，“发布者”：“Elsevier BV”，“问题”：“1-2”，“许可证”：[{“开始”：{'日期部分“：[[1999,2,1]]，”日期时间“：“1999-02-01T00:00:00Z”，“时间戳”：91782720000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：5280，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1999,2]}，”DOI“：”10.1016\/s0304-3975（95）00184-0“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,7]]，”date-time“：”2003-04-07T15:40:02Z“，”timestamp“：1049730002000}“page”：“1-30”，“source“：”Crossref“，“is-referenced-by-count”：8，“title”：[“素蕴涵的长度和随机CNF公式的解数”]，“prefix”：“10.1016”，“volume”：“215”，“author”：[{“给定”：“Y.”，“family”：“Boufkhad”，“sequence”：“first”，“affiliation”：[]}，{“given”：键“：“10.1016\/S0304-3975（95）00184-0_BIB1”，“series-title”：“第33届IEEE计算机科学基础交响曲”，“首页”：“620”，“文章-标题”：“Miks gets some（赔率在他这边）”，“author”：“Chv\u00e1tal”，“year”：“1992”}，{“key”：“10.116\/S0304-3975（95）001 84-0_IB2”，“series-title”：《第11届全国人工智能大会》“”，“首页”：“21”，“article-title”：“可满足问题交叉点的实验结果”，“author”：“Crawford”，“year”：“1993”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIB3”，“doi-asserted-by”：“crossref”，《first page》：“201”，“doi”：“101145\/3210034”，“article-titel”：“定量理论的计算程序”，“volume”：”7，“author”：“Davis”，“year”：“1960”，“journal-title”：“J.Assoc.Compute.Mach.”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIB4”，“doi-asserted-by”：“crossref”，《first page》：“127”，”doi“：”10.1016\/0004-3702（86）90080-9“，”article-title“：”基于假设的TMS“，”volume“28”，“au作者”：“de Kleer”，“年份”：“1986”，“journal-title”：“Artif.Intell.”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIB5”，“series-title”：“第二次DIMACS实施挑战”，“文章标题”：“SAT vs.UNSAT”，“作者”：“Dubois”，“年份”：“1993”}，{“key”：“10.106\/S0304-3975：“随机r-sat公式可满足性阈值的一般上界”，“volume”：“24”，“author”：“Dubois”，“year”：“1997”，“journal title”：“J.Algorithms”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIBB7”，“nonstructured”：“E.Friedgut，图属性尖锐阈值的充要条件，以及k-sat问题，提交。”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIB8”，“series-title”：“计算机科学的数学基础”，“首页”：“264”，“文章-标题”：“不满足的阈值”，“作者”：“Goerdt”，“年份”：“1992”}，{“密钥”：“101016\/S0304-397（95）0.0184-0_BAB9”，“系列-标题”:“程序系统安全交响乐”，“论文-标题”：“故障树分析中的高级概念”，“author”：“Hasl”，“year”：“1965”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIB10”，“series-title”：“Urn Models and their Applications”，“作者”：“Johnson”，“年份”：“1977”}{“键”：“10.1016\/S0304-3975（95）00184-0_BIB12”，“series-title”：“A.I.和NP-Hard问题春季研讨会”，“首页”：“112”，“文章标题”：“随机3CNF公式可满足阈值的证据”，“作者”：“Larrabee”，“年份”：“1993”}，{“key”：“10.116\/S0304-3975：“定理证明的机器程序”，“卷”：“5”，“作者”：“Logemann”，“年份”：“1962年”，“期刊标题”：“J.Assoc.Compute.Mach.”}，{“关键”：“10.1016\/S0304-3975（95）00184-0_BIB14”，“系列标题”：《Proc.ECAI-96命题演绎进展研讨会》，“文章标题”：，“年”：“1996”}，{“键”：“10.1016\/S0304-3975（95）00184-0_BIB15”，“doi-asserted-by”：“crossref”，“首页”：“1417”，“doi”：“101002\/j.1538-7305.1956.tb03835.x”，“文章标题”：“布尔函数最小化”，“卷”：“35”，“作者”：“麦克卢斯基”，“年份”：“1959”，“日志标题”：《贝尔系统技术》}，“10.1016\/S0304-3975（95）00184-0_BIB16”，“series-title”：“Proc.AAAI'92”，“first page”：“459”，“article-title”：”SAT问题的难易分布“，“author”：“Mitchell”，“year”：“1992”}，{“key”：”10.1016\/S0304-3975（95）00184-0_BIB17“，”series-ttle“：”随机化算法“，”author“：”Motvani“，”year“1995”}18“，”doi-asserted-by“：”crossref“，“首页”：“521”，“DOI”：“10.2307\/2308219”，“文章标题”：“简化真值函数的问题”，“卷”：“59”，“作者”：“奎因”，“年份”：“1952”，“期刊标题”：《美国数学杂志》}，{“关键字”：“10.1016\/S0304-3975（95）00184-0_BIB19”，“DOI-asserted-by”：“crossref”，“第一页”：《627》，“DOI:”10.2307 \/2307285“，”文章标题“：“简化真值函数的方法”，“volume”：“62”，“author”：“Quine”，“year”：“1955”，“journal-title”：“Amer.Math.Mon.”}，{“key”：：“10.1016\/S0304-3975（95）00184-0_BIB20”，“doi-asserted-by”：“crossref”，“first page”：，“作者”：“奎因”，“年份”：“1959年”，“journal-title”：“Amer.Math.Mon.”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIB21”，“series-title”：《第六届美国人工智能学报》，“首页”：“183”，“author”：“Reiter”，“year”：“1987”}tle“：“关键约束知识库的编译”，“author”：“Schrag”，“year”：“1996”}，{“key”：“10.1016\/S0304-3975（95）00184-0_BIB23”，“doi-asserted-by”：“crossref”，“first page”：”223“，”doi“：”10.1002\/sapm1993893233“，“article-title”：“Stirling数的渐近估计”，“volume”：“”：“应用数学研究”}]，“容器-时间”：[“理论计算机科学”]，“original-title”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397595001840？httpAccept=text\/xml”，“content-type”：“text\/xml”，“内容-版本”：“vor”，“intended-application”：“text-mining”}，{“网址”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397595001840？httpAccept=text\/plain”，“content-type”：“text\/plan”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}]，“存放”：{“日期-部分”：[[2019,4,16]]，“日期-时间”：“2019-04-16T00:51:10Z”，“时间戳”：1555375870000}，“分数”：1，“资源”primary“：{”URL“：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0304397595001840”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1999,2]}，”references-count“：23，”journal-issue“：{”issue“：”1-2“，”published-print“：{”date-part“：[[1999，2]}”，“alternative-id”：[“S03043975 95001840.”]，“URL”：“http://\/dx.doi.org\/10.1016\/s0304-3975（95）00184-0”，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“value”：“0304-975”，“type”:“print”}]，“subject”：[/]，“published”：{“date-parts”：[[1999,2]}}