Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura. Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster Decomposition. In D. Michael Miller, Vincent C. Gaudet, editors, 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012. pages 148-153, IEEE, 2012. [doi]
Abstract is missing.