{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,13]]，“日期时间”：“2023-01-13T18:51:53Z”，“时间戳”：1673635913710}，“引用-计数”：0，“发布者”：“IOS出版社”，“问题”：“4”，“许可证”：[{“开始”：“日期部分“：[2009,6,1]]，”“日期时间“：”2009-06-01 T00:00:00Z“，”时间戳“：1243814400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“SAT”]，“DOI”：“10.3233\/sat190069”，“type”：“journal-article”，“created”:{“date-parts”：[2019,11,29]]，“date-time”：“2019-11-29T20:15:25Z”，“时间戳”：1575058525000}，“页面”：“223-244”，“来源”：“交叉引用”，“按计数引用”：11，“标题”：[“在基于网格的随机SAT解决方案中合并子句学习”]，“前缀”：“10.3233”，“卷”：“6”，“作者”：[{“给定”：“Antti E.J.”，“家族”：“Hyv\u00e4rinen”，“序列”：“第一”，“从属关系”：[}“名称”：“赫尔辛基理工大学信息与自然科学学院信息与计算机科学系。电子邮件：\u00a0antti.hyvarinen@tkk.fi,\u00a0tommi.junttila@tkk.fi,\u00a0ilkka.niemela@tkk.fi“}]}，{”given“：”Tommi“，”family“：”Junttila“，”sequence“：”additional“，”affiliation“：[{”name“：”赫尔辛基理工大学信息与自然科学学院信息与计算机科学系。电子邮件：\u00a0antti.hyvarinen@tkk.fi,\u00a0tommi.junttila@tkk.fi,\u00a0ilkka.niemela@tkk.fi“}]}，{”given“：”Ilkka“，”family“：”Niemel\u00e4“，”sequence“：”additional“，”affiliation“：[{”name“：”赫尔辛基理工大学信息与自然科学学院信息与计算机科学系。电子邮件：\u00a0antti.hyvarinen@tkk.fi,\u00a0tomi.junttila@tkk.fi,\u00a0ilkka.niemela@tkk.fi“}]}]，”member“：”7437“，”published-online“：{”date-parts“：[[2009,6,1]]}，”container-title“：[”Journal on Satisfiability，Boolean Modeling and Computation“]，”original-title”：[]，“link”：[{“URL”：“https:\/\/content.iospress.com\/download？id=10.3233\/SAT190069”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”“}]，“deposed”：{“date-parts”：[[2019,12,3]]，“date-time”：“2019-12-03T23:47:58Z”，“timestamp”：1575416878000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/SAT190069”}}，《副标题》：[]，“editor”：[{“given”：“Youssef”，“family”：“Hamadi”，“sequence”：“additional”，“affiliation”：[]}]，“short-title”用法：[]，“已发布”：{“日期-部件”：[[2009,6,1]]}，“引用-计数”：0，“日志-部件”:{“问题”：“4”，“在线发布”：}“日期–部件”：[[2009,6，1]]}}，”URL“：”http://\/dx.doi.org\/10.3233\/sat190069“，”relationship“：{}”，“ISSN”：[“1574-0617”]，“ISSN-type”：[{“value”：“1574-0417”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2009,6,1]]}}