{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T17:55:51Z","timestamp":1781286951872,"version":"3.54.1"},"publisher-location":"New York, New York, USA","reference-count":0,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1145\/1278480.1278629","type":"proceedings-article","created":{"date-parts":[[2008,7,25]],"date-time":"2008-07-25T13:17:47Z","timestamp":1216991867000},"page":"588","source":"Crossref","is-referenced-by-count":6,"title":["EHSAT"],"prefix":"10.1145","author":[{"given":"Shujun","family":"Deng","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jinian","family":"Bian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Weimin","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoqing","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanni","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","event":{"name":"the 44th annual conference","location":"San Diego, California","acronym":"DAC '07","number":"44","sponsor":["The EDA Consortium","IEEE\/CASS\/CANDE\/CEDA","SIGDA, ACM Design Automation"],"start":{"date-parts":[[2007,6,4]]},"end":{"date-parts":[[2007,6,8]]}},"container-title":["Proceedings of the 44th annual conference on Design automation - DAC '07"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1278480.1278629","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=1278629&ftid=427293&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T16:56:07Z","timestamp":1781283367000},"score":1,"resource":{"primary":{"URL":"http:\/\/portal.acm.org\/citation.cfm?doid=1278480.1278629"}},"subtitle":["an efficient RTL satisfiability solver using an extended DPLL procedure"],"proceedings-subject":"Design automation","short-title":[],"issued":{"date-parts":[[2007]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1145\/1278480.1278629","relation":{},"ISSN":["0738-100X"],"issn-type":[{"value":"0738-100X","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}