Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura. A Heterogeneous Multi-valued Decision Diagram Machine for Encoded Characteristic Function for Non-zero Outputs. Multiple-Valued Logic and Soft Computing, 23(3-4):365-377, 2014.
@article{NakaharaSM14-0, title = {A Heterogeneous Multi-valued Decision Diagram Machine for Encoded Characteristic Function for Non-zero Outputs}, author = {Hiroki Nakahara and Tsutomu Sasao and Munehiro Matsuura}, year = {2014}, researchr = {https://researchr.org/publication/NakaharaSM14-0}, cites = {0}, citedby = {0}, journal = {Multiple-Valued Logic and Soft Computing}, volume = {23}, number = {3-4}, pages = {365-377}, }