{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T17:14:48Z","timestamp":1777396488266,"version":"3.51.4"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2002.1011096","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T16:42:54Z","timestamp":1056559374000},"page":"254-260","source":"Crossref","is-referenced-by-count":7,"title":["Evaluation of static variable ordering heuristics for MDD construction [multi-valued decision diagrams]"],"prefix":"10.1109","author":[{"given":"R.","family":"Drechsler","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580028"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122450"},{"key":"ref12","author":"gao","year":"2001","journal-title":"MVSI S In Int'l Workshop on Logic Synth"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1998.144335"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848619"},{"key":"ref15","article-title":"An implicit method for multi-valued network encoding","author":"jiang","year":"2001","journal-title":"Int l Workshop Logic Synthesis"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378470"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"ref18","article-title":"Bi-decomposition of multi-valued relations","author":"mischenko","year":"2001","journal-title":"Int l Workshop Logic Synthesis"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206348"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref3","first-page":"663","article-title":"A neutral netlist of 10 combinational circuits and a target translator in fortran","author":"brglez","year":"1985","journal-title":"Int'l Symp Circ and Systems Special Sess on ATPG and Fault Simulation"},{"key":"ref6","first-page":"77","article-title":"Verification of multi-valued logic networks","volume":"3","author":"drechsler","year":"1998","journal-title":"Multiple-Valued Logic - An International Journal"},{"key":"ref5","first-page":"1","article-title":"Multi terminal binary decision diagrams: An efficient data structure for matrix representation","author":"clarke","year":"1993","journal-title":"Int'l Workshop on Logic Synth"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1995.513516"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1049\/el:19970452"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114826"},{"key":"ref9","article-title":"Minimization of multiple-valued functions in post algebra","author":"dubrova","year":"2001","journal-title":"Int'l Workshop on Logic Synth"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49477-4_34"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"}],"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\/01011096.pdf?arnumber=1011096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T18:21:52Z","timestamp":1489170112000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1011096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2002.1011096","relation":{},"subject":[]}}