{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:42:11Z","timestamp":1729622531244,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/iccad.2014.7001392","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T20:11:15Z","timestamp":1421179875000},"page":"462-469","source":"Crossref","is-referenced-by-count":3,"title":["Constrained interpolation for guided logic synthesis"],"prefix":"10.1109","author":[{"given":"Ana","family":"Petkovska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Novo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Ienne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_21"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/2963593"},{"key":"ref12","first-page":"1","article-title":"Interpolation and SAT-based model checking","author":"mcmillan","year":"2003","journal-title":"Proceedings of the International Conference on Computer Aided Verification"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2307\/2275583"},{"key":"ref14","first-page":"1113","article-title":"Dependent-latch identification in reachable state space","volume":"cad 28","author":"lin","year":"2009","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1949.tb03624.x"},{"year":"2014","key":"ref17","article-title":"ABC: A System for Sequential Synthesis and Verification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024758"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278585"},{"key":"ref5","first-page":"729","article-title":"A robust functional ECO engine by SAT proof minimization and interpolation techniques","author":"wu","year":"2010","journal-title":"Proceedings of the International Conference on Computer Aided Design"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/S1574-6526(07)03002-7","article-title":"Satisfiability solvers","volume":"3","author":"gomes","year":"2008","journal-title":"Handbook of Knowledge Representation"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687547"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391634"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","article-title":"An extensible SAT-solver","volume":"2919","author":"e\u00e9n","year":"2003","journal-title":"Proceedings of the International Conference on Theory and Applications of Satisfiability Testing"},{"key":"ref1","first-page":"32","article-title":"To SAT or not to SAT: Ashenhurst decomposition in a large scale","author":"lin","year":"2008","journal-title":"Proceedings of the International Conference on Computer Aided Design"}],"event":{"name":"2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2014,11,2]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2014,11,6]]}},"container-title":["2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6991350\/7001313\/07001392.pdf?arnumber=7001392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T03:34:27Z","timestamp":1498188867000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7001392\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iccad.2014.7001392","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}