{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:54:22Z","timestamp":1725414862783},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/aspdac.2016.7428101","type":"proceedings-article","created":{"date-parts":[[2016,3,10]],"date-time":"2016-03-10T16:48:08Z","timestamp":1457628488000},"page":"749-754","source":"Crossref","is-referenced-by-count":4,"title":["Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns"],"prefix":"10.1109","author":[{"given":"Dominik","family":"Erb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Scheibler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael A.","family":"Kochte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Sauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Joachim","family":"Wunderlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2014.7035350"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5008985"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76900"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2015.7138738"},{"journal-title":"Introduction to Metamathematics","year":"1952","author":"kleene","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"ref16","article-title":"Antom-solver description","author":"schubert","year":"2010","journal-title":"SAT Race"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2440315"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00971937"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.2000.843854"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2012.6233017"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2210422"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.098"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2611760"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674663"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.104.0278"},{"journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness","year":"1979","author":"garey","key":"ref9"}],"event":{"name":"2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2016,1,25]]},"location":"Macau","end":{"date-parts":[[2016,1,28]]}},"container-title":["2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7422345\/7427971\/07428101.pdf?arnumber=7428101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T21:28:48Z","timestamp":1475184528000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7428101\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2016.7428101","relation":{},"subject":[],"published":{"date-parts":[[2016,1]]}}}