{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:46:18Z","timestamp":1760586378248,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":0,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1145\/1120725.1120910","type":"proceedings-article","created":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T21:40:43Z","timestamp":1147124443000},"page":"451","source":"Crossref","is-referenced-by-count":1,"title":["A fast counterexample minimization approach with refutation analysis and incremental SAT"],"prefix":"10.1145","author":[{"given":"Shengyu","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SiKun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","event":{"number":"2005","sponsor":["SIGDA, ACM Special Interest Group on Design Automation","Shanghai IC Industry Association","IEEE SSCS Shanghai Chapter","IEEE CAS","IEEE Beijing Section","Fudan University","Chinese Institute of Electronics"],"acronym":"ASP-DAC '05","name":"the 2005 conference","start":{"date-parts":[[2005,1,18]]},"location":"Shanghai, China","end":{"date-parts":[[2005,1,21]]}},"container-title":["Proceedings of the 2005 conference on Asia South Pacific design automation  - ASP-DAC '05"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1120725.1120910","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=1120910&ftid=350356&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:23:44Z","timestamp":1750267424000},"score":1,"resource":{"primary":{"URL":"http:\/\/portal.acm.org\/citation.cfm?doid=1120725.1120910"}},"subtitle":[],"proceedings-subject":"Asia South Pacific design automation","short-title":[],"issued":{"date-parts":[[2005]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1145\/1120725.1120910","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}