{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:18:48Z","timestamp":1725524328211},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2004.1319946","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"229-234","source":"Crossref","is-referenced-by-count":5,"title":["Edge-valued decision diagrams for multiple-valued functions"],"prefix":"10.1109","author":[{"given":"R.S.","family":"Stankovic","sequence":"first","affiliation":[]},{"given":"J.","family":"Astola","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Spectral Interpretation of Decision Diagrams","year":"2003","author":"stankovic?","key":"19"},{"key":"22","first-page":"171","article-title":"Optimization of multiple-valued decision diagrams","author":"thayse","year":"1978","journal-title":"ISMVL-8"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/224818.224928"},{"key":"23","first-page":"109","author":"vrudhula","year":"0","journal-title":"Edge Valued Binary Decision Diagrams"},{"key":"18","article-title":"Edge-valued decision diagrams based on partial Reed-Muller transforms","author":"stankovic?","year":"1995","journal-title":"Proc Reed-Muller Colloquium UK'95"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1995.513544"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1994.302215"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1996.508375"},{"journal-title":"Multiple-Valued Switching Theory","year":"1986","author":"muzio","key":"12"},{"key":"21","article-title":"Decision diagrams for representation of discrete functions: Uniform interpretation and classification","author":"stankovic?","year":"1998","journal-title":"Proc ASP-DAC'98"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.969437"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2004.1319946"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.21236\/ADA281028","author":"bryant","year":"1994","journal-title":"Verification of Arithmetic Functions with Binary Moment Diagrams"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2002.1011095"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.298033"},{"journal-title":"Finite Orthogonal Series in the Design of Digital Devices","year":"1976","author":"karpovsky","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1999.794491"},{"key":"4","first-page":"163","author":"drechsler","year":"0","journal-title":"OKFDDs-algorithms Applications and Extensions"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1994.302209"},{"journal-title":"Parallel Calculations by Means of Arithmetical Polynomials","year":"1997","author":"malyugin","key":"8"}],"event":{"name":"Proceedings. 34th International Symposium on Multiple-Valued Logic","acronym":"ISMVL-04","location":"Toronto, Ont., Canada"},"container-title":["Proceedings. 34th International Symposium on Multiple-Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9226\/29244\/01319946.pdf?arnumber=1319946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T06:15:04Z","timestamp":1533708904000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319946\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2004.1319946","relation":{},"subject":[]}}