{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T22:36:07Z","timestamp":1778193367816,"version":"3.51.4"},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2002.1011095","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T16:42:54Z","timestamp":1056559374000},"page":"245-253","source":"Crossref","is-referenced-by-count":37,"title":["On the construction of multiple-valued decision diagrams"],"prefix":"10.1109","author":[{"given":"D.M.","family":"Miller","sequence":"first","affiliation":[]},{"given":"R.","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114828"},{"key":"ref11","first-page":"1","article-title":"Graph-based representations of discrete functions","author":"minato","year":"1995","journal-title":"Proc IFIP WG 10 5 Workshop on the Application of Reed-Muller Expansion in Circuit Design"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"ref13","article-title":"CUDD: CU Decision Diagram Package","author":"somenzi","year":"0"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s100090100042","article-title":"Efficient manipulation of decision diagrams","volume":"3","author":"somenzi","year":"2001","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"ref16","first-page":"428","article-title":"VIS: A System for Verification and Synthesis","year":"1996","journal-title":"Proc Computer-Aided Verification"},{"key":"ref4","first-page":"401","article-title":"Fast and Efficient Equivalence Checking based on NAND-BDDs","author":"drechsler","year":"2001","journal-title":"Proc IFIP Int Conf Very Large-Scale Integr"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/s100090100056","article-title":"Binary decision diagrams in theory and practice","volume":"3","author":"drechsler","year":"2001","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"key":"ref6","first-page":"13","article-title":"Reordering based synthesis","author":"hett","year":"1997","journal-title":"Proc Reed-Muller Workshop 97"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558200"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1993.289589"},{"key":"ref7","first-page":"661","article-title":"On the OBDD representation of general Boolean functions","volume":"c 41","author":"lau","year":"1992","journal-title":"IEEE Trans on Comp"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114826"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1998.679287"}],"event":{"name":"32nd IEEE International Symposium on Multi-Valued Logic","location":"Boston, MA, USA","acronym":"ISMVL-02"},"container-title":["Proceedings 32nd IEEE International Symposium on Multiple- Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7900\/21788\/01011095.pdf?arnumber=1011095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T18:56:04Z","timestamp":1584989764000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1011095\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2002.1011095","relation":{},"subject":[]}}