{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,2,21]]，“日期-时间”：“2023-02-21T05:42:47Z”，“时间戳”：1676958167319}，“引用-计数”：4，“发布者”：“Elsevier BV”，“问题”：“1-3”，“许可证”：[{“开始”：{:“日期-零件”：[2004,12]]，“date-time”：“2004-12-01T00:00:00Z“，“时间戳”：1101859200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“开始”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：3186，“URL”：“http://\/www.elsevier.com/开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[2004,12]]}，”DOI“：”10.1016\/j.tcs.2004.08.002“，”type“：”journal-article“，”created“：{”date-parts:[[2004,9,8]]，“date-time”：“2004-09-08T14:33:15Z”，“timestamp”：1094653995000}，《page》：“303-313”，“source”“：”Crossref“，“is-referenced-by-count”：49，“title”：[“改进的3-SAT确定性局部搜索算法”]，“前缀”：“10.1016”，“卷”：“329”，“作者”：[{“给定”：“Tobias”，“家族”：“Brueggemann”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Walter”，“family”：“Kern”：“10.1016\/j.tcs.2004.08.002_bib1”，“doi-asserted-by”：“crossref”，“first page”：“69”，“doi”：“10.11016\/S0304-3975（01）00174-8”，《文章标题》：“基于局部搜索的k-SAT确定性（2-2/（k+1））n算法”，“volume”：”289“，“author”：“Dantsin”，“year”：“2002”，“journal-title”：“Theoret.Compute.Sci.”}，{”密钥“：”10.1016\/j.tcs.2004.08.002_bib2“，“首页”：“192”，“article-title”：“进一步改进的概率3-SAT算法”，“卷”：“卷2285”，“作者”：“Hofmeister”，“年份”：“2002”}，{“密钥”：“10.1016\/j.tcs.2004.08.002_bib3”，“非结构化”：“K.Iwama，S。Tamaki，3-SAT的改进上限，载于：ECCC讲义系列，计算复杂性电子学术讨论会，第53卷，特里尔大学，2003年一种基于有限本地搜索和重新启动的k-SAT概率算法“，”卷“：”32“，”作者“：”Sch\u00f6ning“，”年份“：”2002“，”期刊标题“：”Algorithmica“｝]，”容器标题“：[”理论计算机科学“]，”原始标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S03044397504005146？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0304397504005146？httpAccept1=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，“存放”：{“日期部分”：[[2019,4,8]]，“date-time“：”2019-04-08T14:35:29Z“，”timestamp“：1554734129000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0304397504005146”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[2004,12]}，‘references-count’：4，‘日志发布’：{‘发布’：“1-3”，“published-print”：{“date-parts”：[[2004,12]]}}，“alternative-id“：[”S0304397504005146“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.tcs.2004.08.002“，”关系“：{}，”ISSN“：[“0304-3975”]，”ISSN-type“：[{”value“：”0304-397“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[2004,12]]}}}}