{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:06:14Z","timestamp":1730232374842,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/iccad.2011.6105361","type":"proceedings-article","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T13:06:43Z","timestamp":1324559203000},"page":"404-411","source":"Crossref","is-referenced-by-count":1,"title":["Inferring assertion for complementary synthesis"],"prefix":"10.1109","author":[{"given":"ShengYu","family":"Shen","sequence":"first","affiliation":[]},{"given":"Ying","family":"Qin","sequence":"additional","affiliation":[]},{"given":"JianMin","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403447"},{"key":"17","first-page":"367","article-title":"A method for automatic program inversion based on lr(0) parsing","volume":"66","author":"glu?ck","year":"2005","journal-title":"Fundam Inf"},{"key":"18","article-title":"Program inversion revisited","author":"srivastava","year":"2010","journal-title":"Technical Report MSR-TR-2010-34 Microsoft Research"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"16","first-page":"54","article-title":"Program inversion","author":"dijkstra","year":"1978","journal-title":"Program Construction 1978"},{"key":"13","first-page":"298","article-title":"Efficient computation of recurrence diameters","author":"kroening","year":"2003","journal-title":"VMCAI"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2159792"},{"key":"11","first-page":"1","article-title":"Interpolation and sat-based model checking","author":"mcmillan","year":"2003","journal-title":"CAV03"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382631"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2049152"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687472"},{"year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.2307\/2963593"},{"year":"0","key":"9"},{"key":"8","first-page":"502","article-title":"An extensible sat-solver","author":"ee?n","year":"2003","journal-title":"SAT03"}],"event":{"name":"2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2011,11,7]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6095474\/6105287\/06105361.pdf?arnumber=6105361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T11:29:05Z","timestamp":1490095745000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6105361\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iccad.2011.6105361","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}