A Comparison of Architectures for Various Decision Diagram Machines

Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura. A Comparison of Architectures for Various Decision Diagram Machines. In 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010. pages 229-234, IEEE Computer Society, 2010. [doi]

@inproceedings{NakaharaSM10-0,
  title = {A Comparison of Architectures for Various Decision Diagram Machines},
  author = {Hiroki Nakahara and Tsutomu Sasao and Munehiro Matsuura},
  year = {2010},
  doi = {10.1109/ISMVL.2010.50},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2010.50},
  tags = {architecture},
  researchr = {https://researchr.org/publication/NakaharaSM10-0},
  cites = {0},
  citedby = {0},
  pages = {229-234},
  booktitle = {40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4024-5},
}