{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期-部件”:[[2024,5,2],“日期-时间”:“2024-05-02T04:29:30Z”,“时间戳”:1714624170345},“参考-计数”:5,“发布者”:“Elsevier BV”,“问题”:“2”,“许可证”:[{“开始”:{:“日期-零件”:[[1980,3,1]],“日期时间”:”1980-03-01T00:00:00Z“,”时间戳“:320716800000},“content-version”:“tdm”,“delay-in-days”:0,“URL”:“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},“short-container-title”:[“Information Processing Letters”],“published-print”:{“date-parts”:[[1980,3]},”DOI“:”10.1016\/s0020-0190(80)90078-2“,“type”:“journal-article”,“created”:{“date-parts”:[[2002,7,26]],“date-time”:“2002-07-26T04:11:21Z”,“timestamp”:1027656681000},“page”:“80-82”,“source”:”Crossref“,“is-referenced-by-count”:63,“title”:[“自由布尔图的等价性可以在多项式时间内概率确定”],“prefix”:“10.1016”,“volume”::“10”,“author”:[{“given”:“Manuel”,“family”:“Blum”,“sequence”:“第一个“,“affiliation”:[]},{“given”:“Ashok K.”,“family”:“Chandra”,“sequence”:“additional”,“affaliance”:[]}“首页”:“509”,“doi”:“10.1109\/TC.1978.1675141”,“article-title”:“二进制决策图”,“卷”:“27”,“作者”:“阿克斯”,“年份”:“1978”,“日志标题”:“IEEE Trans.Compute.”},{“key”:“10.1016\/S0020-0190(80)90078-2_BIB2”,“series-title”:《第八届普林斯顿信息科学与系统年会论文集》,“首页”:“15”,“artice-title“:“关于方案等价的计算复杂性”,“author”:“Constable”,“year”:“1974”},{“key”:“10.1016\/S0020-0190(80)90078-2_BIB3”,“first page”:”227“,“article-title”:“自由单变量程序方案等价和包容的复杂性”,”volume“:”62“,”author“:”Fortune“,”year“:”197890078-2_BIB4“,“首页”:“82”,“文章标题”:“算法的逻辑方案”,“卷”:“卷1”,“作者”:“Ianov”,“年份”:“1960”},{“键”:“10.1016\/S0020-0190(80)90078-2_ BIB5”,“doi-asserted-by”:“crossref”,“第一页”:“1”,“author”:“Rutledge”,“year”:“1964”,“journal-title“:”J.ACM“}],“container-title”:[“Information Processing Letters”],“original-title:[],“language”:“en”,“link”:[{“URL”:“https:\/\/api.elsevier.com/content\/article\/PII:S0020019080900782?httpAccept=text\/xml”,“content-type”:“text\/xml”,“content-version”:“vor”,“intended-application”:“text-mining”},{“URL”:“https:\/\/api.elsevier.com/content\/article\/PII:S0020019080900782?httpAccept=text\/plain“,”content-type“:”text\/prain“,“content-version”:“vor”,“intended-application”:“text-mining”}],“deposed”:{“date-parts”:[[2019,4,12],“date-time”:“2019-04-12T16:50:32Z”,“timestamp”:1555087832000},“score”:1,“resource”:{primary“:{”URL“https://linkinghub.elsevier.com\/retrieve\/pii\/S0020 019080900782“}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[[1980,3]]},”引用计数“:5,”日志发布“:}”问题“:“2”,”发布-发布“:”日期部分:[[11980,3]}},“alternative-id”:[“S0020019080900782”],“URL”:“http://\/dx.doi.org\/10.10016\/s0020-0190(80)90078-2”,“关系”:{},:[“0020-0190”],“ISSN-type”:[{“value”:“0020-01-90”,“type”:“print”}],“subject”:[],“已发布”:{“日期部分”:[[1980,3]}}}