{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:12:42Z","timestamp":1725520362755},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aspdac.2006.1594640","type":"proceedings-article","created":{"date-parts":[[2006,3,22]],"date-time":"2006-03-22T17:38:08Z","timestamp":1143049088000},"page":"25-29","source":"Crossref","is-referenced-by-count":0,"title":["Generation of shorter sequences for high resolution error diagnosis using sequential SAT"],"prefix":"10.1109","author":[{"family":"Sung-Jui Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Kwang-Ting Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Moondanos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Hanna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"13"},{"key":"11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-540-24730-2_3","article-title":"Minimal assignments for bounded model check","author":"ravi","year":"2004","journal-title":"TACAS 95 Tools and Algorithms for the Construction and Analysis of Systems"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/ASPDAC.2004.1337569"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/DAC.1999.782024"},{"key":"2","first-page":"204","article-title":"Debugging sequential circuits using Boolean satisfiability","author":"ali","year":"2004","journal-title":"Proc International Conference on Computer Aided Design"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/43.3141"},{"year":"0","journal-title":"OpenRisc 1000 Series","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/DATE.2002.998262"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/ICVD.2001.902647"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1119772.1119792"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/TCAD.2006.882511"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/DAC.2001.156196"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/DATE.2005.55"}],"event":{"name":"Asia and South Pacific Conference on Design Automation, 2006.","location":"Yokohama, Japan"},"container-title":["Asia and South Pacific Conference on Design Automation, 2006."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10626\/33561\/01594640.pdf?arnumber=1594640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T04:00:19Z","timestamp":1497672019000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1594640\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2006.1594640","relation":{},"subject":[]}}