｛“状态”：“好”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,6,20]，“日期时间”：“2024-06-20T19:54:21Z”，“时间戳”：1718913261254｝，“发布者位置”：“纽约，NY，USA”，“引用计数”：17，“发布者”：“ACM”，“内容域”：｛“域”：[“dl.ACM.org”]，“交叉标记限制”：true｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2006,10,20]]｝，“DOI”：“10.1145\/116857.1168907”，“类型”：“议事录文章”，“已创建”：｛“日期部分”：[[2007,17,17]]，“日期时间”：“2007-01-17T0:15:56Z”，“时间戳”：11689965560000｝，“更新策略”：“http:\/\/dx.DOI.org/10.1145\/crosmark policy”，“来源”：“Crossref”，“由count引用”：352，“title”：[“有限程序的组合草图绘制”]，“前缀”：“10.1145”，“作者”：[{“给定”：“阿曼多”，“家族”：“Solar-Lezama”，“序列”：“第一”，“从属关系”：[}“名称”：“加州大学伯克利分校”}]}，{“已知”：“利维乌”，“家庭”：“坦考”，“顺序”：“附加”，“附属关系”：[{“名称“加州大学贝克利分校”{]}Bodik”，“sequence”：“附加”，“从属关系”：[{“name”：“UC Berkeley”}]}，{“given”：“Sanjit”，“family”：“Seshia”，“sequence”：“additional”，“affiliation”：[[{”name“：”UC Berkerley“}]}，{”given“：”Vijay“，”family“：”Saraswat“，”sequence“：”additional“，”affiliation:[{（名称）：“IBM T.J.Watson Research Center”}]]，“member”：“320”，“published-on-line”：{“date-pa”rts“：[[2006,10,20]]}，”引用“：[{”密钥“：“e_1_3_2_1_1”，“volume-title”：“可编程强化学习代理。神经信息处理系统的进展，13”，“author”：“Andre D.”，“year”：“2001”，“unstructured”：“D.Andre和S.Russell。可编程强化学习代理。神经信息处理系统进展，2001年13月。麻省理工学院出版社。D.Andre and S。罗素。可编程强化学习代理。神经信息处理系统进展，2001年13月。麻省理工学院出版社。“}，{“key”：“e_1_3_2_1”，“doi由”：“publisher”断言，“doi”：“10.1145\/32992.321996”}，{“key”：“e_1_3_2_3_1”，“doi由”：“publisher”断言，“doi”：“10.1145\/775832.775928”}，{“key”：“e_1_3_2_4_1”，“doi由”：“crossref”断言，“非结构化”：“N.\N e\u00e9zn\N和\N N.\N S\u00f6rens儿子。一个可扩展的SAT解算器。Giunchiglia和A.Taccella编辑SAT卷，共2919卷，《计算机科学》第502页，第518页。\n Springer 2003\n。N.E\u00e9zn和N.S\u00f6rensson。可扩展SAT解决方案。在E.Giunchiglia和A.Taccella编辑的SAT第2919卷《计算机科学讲义》第502-518页。Springer 2003.“，”DOI“：”10.1007\/978-3-540-24605-3_37“}，{”key“：”e_1_3_2_1_5_1“，”volume-title“：”十一月“，”author“：”Advanced“，”year“：”2001“，”unstructured“：”高级加密标准（AES）。美国。商务部/国家标准与技术研究所，2001年11月。http://\/csrc.nist.gov\/publications\/fips\/fips197\/fips-197.pdf。高级加密标准（AES）。美国商务部/国家标准与技术研究所，2001年11月。http://\/csrc.nist.gov\/publications\/fips\/fips197\/fips-197.pdf。“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1017\/S0956796802004562”}，“key”：“e_1_3_2_1_7_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/242232.42279“}}，{“键”：“e_1_3_2_1_9_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/362566.362568”}key“：”e_1_3_2_1_10_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/114609.1147048”}，{“key”：“e_1_ 3_2_11_1”，“volume-title”：“第七届可满足性测试理论与应用国际会议（SAT 2004）”，“author”：“Ranjan D.P.”，“year”：“2004”，“unstructured”：“D.P.Ranjan，D.Tang，and S。马利克。2qbf算法的比较研究。在2004年5月举行的第七届满意度测试理论与应用国际会议（SAT 2004）上。D.P.Ranjan、D.Tang和S.Malik。2qbf算法的比较研究。在2004年5月举行的第七届可满足性测试理论与应用国际会议（SAT 2004）上。德奥。组合算法-理论与实践。普伦蒂斯·霍尔，1977年。E.M.Reingold、J.Nievergelt和N.Deo。组合算法-理论与实践。Prentice-Hall，1977年。“}，{”key“：”e_1_3_2_1_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1065010.1065045”}，“key”：“e_1_ 3_2_14_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/6478.727935“}”，{年”：“2002年”，“非结构化”：“H.S。沃伦。黑客的乐趣。Addison-Wesley Longman出版公司。，美国马萨诸塞州波士顿，2002年。H.S.沃伦。黑客的喜悦。Addison-Wesley Longman Publishing Co.，Inc.，Boston，MA，USA，2002.“}，{”key“：”e_1_3_2_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/367236.367286”}，“{”key“：“e_1_ 3_2_17_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1040305.1040334“}]，”event“{“name”：“ASPLOS06:编程语言和操作系统的体系结构支持”，“location“：”San Jose California USA“，”缩写词“：”ASPLOS06“，”赞助商“：[”SIGPLAN ACM编程语言特别兴趣小组“，”SIGOPS ACM操作系统特别兴趣小组”，“ACM计算机械协会”，“SIGARCH ACM计算机体系结构特别兴趣组”]}，“container-title”：[“第十二届编程语言和操作系统体系结构支持国际会议论文集“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.11145\/1168857.1168907”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{date-parts“：[[2023,9,4]]，“date-time”：“2023-09-04T17:04:21Z”，“timestamp”：1693847061000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1168857.1168907”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[[2006,10,20]]}”，“references-count”：17，“alternative-id“：[”10.1145\/1168857.1168907“，”10.1145\/1168857“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/1168857.1168907“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/116891168907”，”asserted-by“：”object“}，{”ids-type”：“doi”，“id”：“10.1145\/1168918.1168907”，“asserted-by”：“object”}，“id-type:”doi 17.1168907“，”断言者“：”对象“}]}，”主题“：[]，”发布“：{“date-parts“：[[2006,10,20]]}，”assertion“：[{”value“：”2006-10-20“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}