Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler. An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions. In 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018. pages 144-149, IEEE, 2018. [doi]
@inproceedings{NagayamaSB18, title = {An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions}, author = {Shinobu Nagayama and Tsutomu Sasao and Jon T. Butler}, year = {2018}, doi = {10.1109/ISMVL.2018.00033}, url = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2018.00033}, researchr = {https://researchr.org/publication/NagayamaSB18}, cites = {0}, citedby = {0}, pages = {144-149}, booktitle = {48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018}, publisher = {IEEE}, isbn = {978-1-5386-4464-5}, }