{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,13]]，“日期-时间”：“2024-03-13T17:43:24Z”，“时间戳”：1710351804484}，“参考-计数”：24，“出版商”：“工业与应用数学学会（SIAM）”，“问题”：“2”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“short-container-title”：[“SIAM J.Compute.”]，“published-print”：{“date-parts”：[[2014,1]]}，“DOI”：“10.1137\/120882160”，“type”：“journal-article”，“created”：{“date-parts”：[2014,4,15]]，“date-time”：“2014-04-15T12:06:40Z”，“timestamp”：1397563600000}，”page：“573-616”，“source”：”Crossref“，”is-referenced-by-count“：7，“标题”：[“由解决方案大小参数化的约束满足”]，“前缀”：“10.1137”，“卷”：“43”，“作者”：[{“给定”：“Andrei A.”，“家族”：“Bulatov”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“D\u00e1niel”，“家庭”：“马克思”，“顺序”：“附加”，“附属关系”：[]}]，“成员”：“351”，“引用”：[}“键”：“atypb2”，”“首页”：“112“，”作者“：“Bessi\u00e8re C.”，“年份”：“2004”，“新闻标题”：“MA”}，{“key”：“atypb3”，“首页”：“153”，“author”：“Bourdais S.”，”年份“：“2003”，“journal-title”：“Heidelberg”}serted-by“：”publisher“，”doi“：”10.1145\/1120582.1120584“}，{”key“：”atypb6“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1970398.1970400”}，{“key”：“atypb7”，“doi-asserted-by”：”publisher“，”doi“：”10.2168 \/LMCS-6（4:4）2010“}，}“key:”atypb8“，”first page“：”424“，”author“：”Bulatov A.“，”year“：”2011“，”journal-title“：”Heidelberg“}，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1810891.1810914”}，{“key”：“atypb10”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/1805950.1805954”}，{“key”：“atypb12”，“doi-asserted-by”：”publisher“，”doi“：”10.1137 \/S0097539794266766“}，}”key“：”atypb13“，”doi-assert-by“：”publister“，”doi“：“10.1016\/j.tcs.2008.09.065”}“：”publisher“，”doi“：”10.1145\/1206035.1206036“}，{”key“：”atypb17“，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/263867.263489”}，{“key”：“atypb18”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1023\/A:1009890709297“}，}“key:”atypb19“，”DOI-assert-by“：”publisher“，”DOI“：”10.1137\/S00975399349948“}tsch S.“，“年份”：“2010年”，“新闻标题”：“海德堡”}，{“关键”：“atypb21”，“首页”：“653”，“author”：“Kratsch S.”，“year”：“2010”，“journal-title”：“Heidelberg”}，{“key”：“atypb22”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2151171.2151182“}，”{“key”：”atypb24“，”doi-assert-by“：”publisher作者：“R\u00e9gin J.-C.”，“年份”：“2004年”，“新闻标题”：“海德堡”}，{“关键”：“atypb26”，“first page”：“326”，《author》：“Rosenberg I.G.”，“year”：“1998”，“journal-title”：“第28届IEEE多值逻辑国际研讨会（ISMVL'98）论文集”}，{“key”：”atypb27“，”doi-asserted-by“：”publisher“，”doi“：”10.1007 \/s10601-009-9079-y“}，}“key”：“atypb28”，“doi-assert-by”：“publisher”，”doi:“10.1145\/800133.804350“}，{”键“：“atypb29”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.disopt.2010.07.003”}]，“container-title”：[“SIAM Journal on Computing”]，“original title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/epubs.SIAM.org\/doi\/pdf\/10.1137\/120882160”，“content-type”：“unspecified”，“content-version”：“vor”，“inte”nded-application“：”相似性检查“}]，”存放“用法：{“date-parts”：[[2017,1,29]]，“date-time”：“2017-01-29T12:33:38Z”，“timestamp”：1485693218000}，“score”：1，“resource”：{主“URL”：“http://\/epubs.siam.org\/doi\/10.1137\/120882160”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-parts“：[[2014,1]]}”，“references-count”：24，“新闻发布”：{“发布”：“2”，“发布-发布”：}“日期-部分”：[[2014,1]]}}，“alternative-id”：[“10.1137\/120882160”]，“URL”：“http://\/dx.doi.org\/10.1137\/1208H2160”，“relationship”：{}，“ISSN”：[”0097-5397“，”1095-7111“]，“ISSN-type”：[{“value”：“0097-539”，“type”:“print”}，{“value”：“1095-711”，“type”：“electronic”}]，“subject”：【】，“published”：{“date-parts”：[2014,1]}}