Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster Decomposition

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]

Authors

Hiroki Nakahara

This author has not been identified. Look up 'Hiroki Nakahara' in Google

Tsutomu Sasao

This author has not been identified. Look up 'Tsutomu Sasao' in Google

Munehiro Matsuura

This author has not been identified. Look up 'Munehiro Matsuura' in Google