Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura. A Machine to Evaluate Decomposed Multi-Terminal Multi-Valued Decision Diagrams for Characteristic Functions. In 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. pages 90-95, IEEE, 2013. [doi]
@inproceedings{NakaharaSM13-1,
title = {A Machine to Evaluate Decomposed Multi-Terminal Multi-Valued Decision Diagrams for Characteristic Functions},
author = {Hiroki Nakahara and Tsutomu Sasao and Munehiro Matsuura},
year = {2013},
doi = {10.1109/ISMVL.2013.6},
url = {http://dx.doi.org/10.1109/ISMVL.2013.6},
researchr = {https://researchr.org/publication/NakaharaSM13-1},
cites = {0},
citedby = {0},
pages = {90-95},
booktitle = {43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013},
publisher = {IEEE},
isbn = {978-1-4673-6067-8},
}