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]
Abstract is missing.