{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T16:58:04Z","timestamp":1758992284435},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006190","name":"Research and Development","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006190","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002367","name":"Chinese Academy of Sciences","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002367","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012492","name":"Youth Innovation Promotion Association","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012492","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473833","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"source":"Crossref","is-referenced-by-count":5,"title":["A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver"],"prefix":"10.1109","author":[{"given":"Zhiteng","family":"Chao","sequence":"first","affiliation":[{"name":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences"}]},{"given":"Xindi","family":"Zhang","sequence":"additional","affiliation":[{"name":"State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences"}]},{"given":"Junying","family":"Huang","sequence":"additional","affiliation":[{"name":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences"}]},{"given":"Jing","family":"Ye","sequence":"additional","affiliation":[{"name":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences"}]},{"given":"Shaowei","family":"Cai","sequence":"additional","affiliation":[{"name":"State Key Lab of Computer Science, Institute of Software, Chinese Academy of Sciences"}]},{"given":"Huawei","family":"Li","sequence":"additional","affiliation":[{"name":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences"}]},{"given":"Xiaowei","family":"Li","sequence":"additional","affiliation":[{"name":"State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008355411566"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/43.3140"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IPFA.2006.251034"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.105"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.2004.1299228"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.826558"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2014.2378285"},{"key":"ref8","first-page":"1100","article-title":"On the role of independent fault sets in the generation of minimal test sets","volume-title":"Proc. Int. Test. Conf.","author":"Akers"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1991.519511"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EUASIC.1992.228026"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.26599\/TST.2019.9010046"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2014.6900355"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2021.02.015"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.238040"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ats.1992.224429"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.24"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ITC50571.2021.00035"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58475-7_6"},{"key":"ref19","volume-title":"T-Head"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/187"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Incheon, Korea, Republic of","start":{"date-parts":[[2024,1,22]]},"end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473833.pdf?arnumber=10473833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T22:03:55Z","timestamp":1711490635000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473833\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473833","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}