{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:29:18Z”，“时间戳”：1725488958188}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540439318“}，{”类型“：“electronic”，“value”：“9783540456209”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2002]]}，”DOI“：”10.1007\/3-540-45620-1_15“，”type“：”book-capter“，”created“：”{“date-part”：[2007,8,12]，“date-time”：“2007-08-12T03:18:26Z“，”时间戳“：1186888706000}，”页面“：”161-180“，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“通过计算稳定的点集测试CNF公式的可满足性”]，“prefix”：“10.1007”，”author“：[{”given“：”Eugene“，”family“：”Goldberg“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2002,7,4]]}，“reference”：[{”key“15_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“C.A.Brown，L.Finkelstein，P.W.Purdom。对称存在下的回溯搜索。在\u201c应用代数、代数算法和纠错代码\u201d。第六届国际会议，P.99\u2013110。Springer-Verlag，1988年。“，“DOI”：“10.1007\/3-540-51083-4_51”}，{“key”：“15_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“V.Chvatal，E.Szmeredi.解决方案的许多硬性示例。《ACM杂志》，第35卷，第4期，第759\u2013568页。“25”，“DOI”：“10.1016\/0166-218X（87）90039-4“，“卷”：“18”，“作者”：“W.Cook”，“年份”：“1987”，“非结构化”：“W.Cook，C.R.Coullard，G.Turan。关于切面证明的复杂性。离散应用数学，18，1987，25\u201338.“，”杂志标题“：”离散应用数学“}，{“key”：“15_CR4”，“unstructured”：“J.Crawford，M.Ginsberg，E.Luks，A.Roy。搜索问题的对称破缺谓词。第五届知识表示与推理原则国际会议（KR\u201996）。”}，“key“：”15_CR5“，”doi-asserted-by“：”publisher“，”first page“：”394“，”doi“：”10.1145 \/368273.368557“，”volume“：“5”，”author“：”M.Davis“，“year”：“1962”，”unstructured“：”M.Davis，G.Logemann，D.Loveland。定理证明的机器程序。ACM通信-1962.-V.5.-P.394\u2013397.“，“journal-title”：“ACM的通信”}，{“key”：“15_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“E.Goldberg.证明CNF的局部不可满足性。LICS 2001可满足性测试理论与应用研讨会论文集。”，“doi”：“10.1016\/S1571-0653（04）00316-6”}、{“key”：”15_CR7“，”doi-asserted-by“：”publisher“，”first page“：”297“，”doi“：”10.1016\/0304-3975（85）90144-6“，”volume“：“39”，”author“：”A.Haken“，”year“：”1985“，”unstructured“：”A.Haken。难以解决的问题。西奥。计算。科学。39（1985），297\u2013308。”，“新闻标题”：“Theor。计算。Sci“}，{”key“：”15_CR8“，”doi-asserted-by“：”publisher“，”first page“：“253”，”doi“：”10.1007\/BF00265682“，”volume“：‘22’，”author“：”B.Krishnamurthy“，”year“：”1985“，”unstructured“：”B.Krishnamurthy。复杂公式的简短证明。《信息学报》22（1985）253\u2013275.“，”journal-title“：”Acta Informatica“}”，{“key”：“15_CR9”，“非结构化”：“D.Mitchell，B。Selman和H.J.Levesque。SAT问题的难易分布。AAAI-92，加州圣何塞，459\u2013465。“}，{“key”：“15_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Moskewicz，C.Madigan，Y.Zhao，L.Zhang，S.Malik。Chaff:Engineering an Efficient an Effient SAT Solver。DAC-2001年会议录。”，“doi”：“10.1145\/378239.379017”}，“key“：”15_CR11“，”doi-assert-by“：”crossreff“，“unsructured“：”C。帕帕迪米特里奥。关于选择一个令人满意的真理作业。FOC-91论文集。“，”DOI“：”10.1109\/SFCS.1991.185365“}，{“key”：“15_CR12”，“unstructured”：“A.Roy.布尔可满足性中的对称破缺和容错。博士论文。可从http://www.cs.uoregon.edu\/~aroy\/“}下载，{”key“：”15_CR13“，”unstructure“：”B.Selman，H.Kautz，B。科恩。改进局部搜索的噪音策略。AAAI-94论文集。“}，{”key“：”15_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”I.Shlyakhter.为搜索问题生成有效的对称破缺谓词。LICS 2001可满足性测试理论和应用研讨会论文集”，“doi”：“10.1016\/S1571-0653（04）00311-7”}，“{”key“：“15_CR15”，“doi-assert-by”：“publisher”，“首页“：”177“，”DOI“：”10.1016\/S0166-218X（99）00039-6“，”卷“：”96\u201397“，”作者“：”A.Urquhart“，”年份“：”1999“，”非结构化“：”A.Urquart。命题逻辑中的对称规则。离散应用数学96\u201397（1999）：177\u20131931999.“，”journal-title“：”Discrete Applied Mathematics“}，{“key”：“15_CR16”，“unstructured”：“H.Wong-Toi.Private communication.”}]，“container-title”：[“计算机科学课堂讲稿”，“自动演绎\u2014CADE-18”]，“original-tittle”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-45620-1_15“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,1]]，”date-time“：“2019-05-01T19:56:25Z”，”timestamp“：1556740585000}，“score”：1，“resource”：{“primary”：“{”URL“：”http:\/\/link.springer.com/10.1007\/3-540-45620-1_15“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2002]]}，“ISBN”：[“9783540439318”，“97835456209”]，”引用计数“：16，”URL“：”http://\/dx.doi.org\/10.1007\/3-5400-45620-1-15“，”关系“：{}，9743“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-9743“}]，”主题“：[]，“发布了“：{“date-parts”：[[2002]]}}}