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]

@inproceedings{NakaharaSM12-3,
  title = {Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster Decomposition},
  author = {Hiroki Nakahara and Tsutomu Sasao and Munehiro Matsuura},
  year = {2012},
  doi = {10.1109/ISMVL.2012.45},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2012.45},
  researchr = {https://researchr.org/publication/NakaharaSM12-3},
  cites = {0},
  citedby = {0},
  pages = {148-153},
  booktitle = {42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012},
  editor = {D. Michael Miller and Vincent C. Gaudet},
  publisher = {IEEE},
  isbn = {978-1-4673-0908-0},
}