{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:14:40Z","timestamp":1729653280367,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iccad.2013.6691201","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T22:22:41Z","timestamp":1394230961000},"page":"771-778","source":"Crossref","is-referenced-by-count":1,"title":["Encoding multi-valued functions for symmetry"],"prefix":"10.1109","author":[{"given":"Ko-Lung","family":"Yuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chien-Yen","family":"Kuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng-Yen","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/43.59068"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.818371"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/43.743706"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129981"},{"key":"16","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1145\/196244.196440","article-title":"optimum functional decomposition using encoding","author":"murgai","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253697"},{"journal-title":"Pseudo-boolean Constraint Formulation of Symmetry Boolean Encoding for Multi-valued Functions","year":"2011","author":"li","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1109\/ICCAD.2000.896525","article-title":"Don't cares and multi-valued logic network minimization","author":"jiang","year":"2000","journal-title":"Proc Int'l Conf on Computer-Aided Design"},{"key":"12","article-title":"An implicit method for multi-valued network encoding","author":"jiang","year":"2001","journal-title":"Proc Int'l Workshop on Logic Synthesis"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.1999.745148"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630016"},{"journal-title":"ABC A System for Sequential Synthesis and Verification","year":"0","key":"2"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3628-4","author":"ashar","year":"1992","journal-title":"Sequential Logic Synthesis"},{"key":"10","article-title":"MVSIS","author":"gao","year":"2001","journal-title":"Proc Int'l Workshop on Logic Synthesis"},{"key":"7","first-page":"56","article-title":"Post-placement rewiring and rebuffering by exhaustive search for functional symmetries","volume":"2005","author":"chang","year":"2005","journal-title":"IEEE\/ACM International Conference on Computer-Aided Design Digest of Technical Papers ICCAD"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337420"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","author":"brayton","year":"1984","journal-title":"Logic Minimization Algorithms for VLSI Synthesis"},{"journal-title":"Synthesis and Optimization of Digital Circuits","year":"1994","author":"de micheli","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1985.1270123"}],"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\/06691201.pdf?arnumber=6691201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T09:15:29Z","timestamp":1498122929000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6691201\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iccad.2013.6691201","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}