{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:57:03Z","timestamp":1730275023524,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2004.1319945","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"223-228","source":"Crossref","is-referenced-by-count":3,"title":["Reduction of sizes of multi-valued decision diagrams by copy properties"],"prefix":"10.1109","author":[{"given":"D.","family":"Jankovic","sequence":"first","affiliation":[]},{"given":"R.S.","family":"Stankovic","sequence":"additional","affiliation":[]},{"given":"R.","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","first-page":"171","article-title":"Optimization of multiple-valued decision diagrams","author":"thayse","year":"1978","journal-title":"Proc 27th Int Symp Multiple-Valued Logic"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1997.601415"},{"key":"14","first-page":"115","article-title":"Reed-Muller-Fourier representations of multiple-valued functions over Galois fields of prime cardinality","author":"stankovic?","year":"1993","journal-title":"Proc IFIP WG 10 5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848625"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"3","first-page":"1","article-title":"Multi-terminal binary decision diagrams: An efficient data structure for matrix representation","volume":"6 a","author":"clarke","year":"1993","journal-title":"Int l Workshop Logic Synthesis"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114826"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848626"},{"key":"7","first-page":"313","article-title":"Copy theory of signals and its applications","author":"minglu","year":"1996","journal-title":"Recent Developments in Abstract Harmonic Analysis with Applications in Signal Processing"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114828"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2002.1011095"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2002.1115374"},{"key":"9","first-page":"305","article-title":"A summary of Bridge functions","author":"qishan","year":"1996","journal-title":"Recent Developments in Abstract Harmonic Analysis with Applications in Signal Processing"},{"key":"8","article-title":"Shift copy analysis of signals","author":"minglu","year":"1994","journal-title":"Proc of ICT'94"}],"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\/01319945.pdf?arnumber=1319945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T13:05:11Z","timestamp":1489410311000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2004.1319945","relation":{},"subject":[]}}