{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[2022,4,6]]，“日期-时间”：“2022-04-06T03:42:10Z”，“时间戳”：1649216530558}，“参考-计数”：0，“发布者”：“IOS出版社”，“问题”：“1-3”，“许可证”：[{“开始”：{-'日期-部件“：[2008,9,1]]，”日期-时间“：”2008-09-01T00:00:00Z“，“时间戳”：122022720000}，“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\/sat190060”，“type”：“journal-article”，“created”:{“date-parts”：[2019,11,29]]，“date-time”：“2019-11-29T20:15:04Z”，“时间戳”：1575058504000}，“页面”：“13-32”，“源”：“Crossref”，“is-referenced-by-count”：0，“标题”：[“某些信令网络3CNF公式的线性可满足性算法”]，“前缀”：“10.3233”，“卷”：“6”，“作者”：[{“给定”：“Utz-Uwe”，”family“：”Haus“，”sequence“：”first“，”affiliation“：[{'名称“：“德国马格德堡奥托·冯·格里克大学数学优化研究所，邮编39106。电子邮件：\u00a0haus@imo.math.uni-magdeburg.de“}]}，{”given“：”Klaus“，”family“：”Truemperf“，”sequence“：”additional“，”affiliation“：[{”name“：”德克萨斯州达拉斯市德克萨斯大学计算机科学系，德克萨斯州理查森，75080，美国。电子邮件：\u00a0truemper@utdallas.edu“}]}，{”given“：”Robert“，”family“：”Weismantel“，”sequence“：”additional“，”affiliation“：[{”name“：”数学优化研究所，Otto-von-Guericke University Magdeburg，39106 Magdebourg，Germany。电子邮件：\u00a0weismantel@imo.math.uni-magdeburg.de“}]}]，”member“：”7437“，”published-online“：{”date-parts“：[[2008,9,1]]}，”container-title“：[”Journal on Satisfiability，Boolean Modeling and Computation“]，”original-title”：[]，“link”：[{“URL”：“https:\/\/content.iospress.com\/download？id=10.3233\/SAT190060“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity y检查“}]，“deposed”：{“date-parts”：[[2019,12,3]]，“date-time”：“2019-12-03T23:46:37Z”，“timestamp”：1575416797000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/SAT190060”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[[2008,9 1,1]]}，“references-count”：0，“journal-issue”：{“issue”：“1-3”，“在线发布”：｛“日期部分”：[[2008,9,1]]}｝，“URL”：“http:\/\/dx.doi.org/10.3233\/sat190060”，“关系”：｛｝，“ISSN”：[“1574-0617”]，“ISSN类型”：[｛“值”：“1574-0617”，“类型”：“电子”｝]，“主题”：[]，“已发布”：｛“日期部分”：[[2008,9,1]]}｝