{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:01:38Z","timestamp":1729677698886,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iccad.2013.6691203","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T17:22:41Z","timestamp":1394212961000},"page":"787-794","source":"Crossref","is-referenced-by-count":25,"title":["Partial synthesis through sampling with and without specification"],"prefix":"10.1109","author":[{"given":"Masahiro","family":"Fujita","sequence":"first","affiliation":[]},{"given":"Satoshi","family":"Jo","sequence":"additional","affiliation":[]},{"given":"Shohei","family":"Ono","sequence":"additional","affiliation":[]},{"given":"Takeshi","family":"Matsumoto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/SAT190039","article-title":"PicoSAT Essentials. Journal on Satisfiability","volume":"4","author":"biere","year":"2008","journal-title":"Boolean Modeling and Computation"},{"key":"16","article-title":"Boolector: An efficient SMT solver for bit-vectors and arrays","volume":"5505","author":"brummayer","year":"2009","journal-title":"The 15th Intl Conf on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09) Lecture Notes in Computer Science (LNCS)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"14","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/11532231_27","article-title":"Kizzo: A Suite to Evaluate and Certify QBFs","author":"benedetti","year":"2005","journal-title":"20th International Conference on Automated Deduction (CADE-20)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2006.320087"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1993.386497"},{"journal-title":"IEEE\/ACM International Conference on Computeraided Design","year":"1994","author":"brand","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217564"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2012.55"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6165045"},{"key":"5","first-page":"237","article-title":"Increasing yield using partially-programmable circuits","author":"yamashita","year":"2010","journal-title":"The 17th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI 2010)"},{"key":"4","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1145\/1687399.1687546","article-title":"Delta-Syn: An efficient logic difference optimizer for ECO synthesis","author":"krishunaswamy","year":"2009","journal-title":"The 2009 International Conference on Computer-Aided Design"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"8","article-title":"Solving QBF with counterexample guided refinement","author":"janota","year":"2012","journal-title":"The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12)"}],"event":{"name":"2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2013,11,18]]},"location":"San Jose, CA","end":{"date-parts":[[2013,11,21]]}},"container-title":["2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679730\/6691081\/06691203.pdf?arnumber=6691203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T02:01:29Z","timestamp":1648519289000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6691203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iccad.2013.6691203","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}