## Shin-ichi Minato

*Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs*

DAC, 1994.

@inproceedings{DAC-1994-Minato, author = "Shin-ichi Minato", booktitle = "{Proceedings of the 31st Design Automation Conference}", doi = "10.1145/196244.196446", isbn = "0-7803-1836-6", pages = "420--424", publisher = "{ACM Press}", title = "{Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs}", year = 1994, }