Tomas Bengtsson, Andrés Martinelli, Elena Dubrova. A BDD-based fast heuristic algorithm for disjoint decomposition. In Hiroto Yasuura, editor, Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003. pages 191-196, ACM, 2003. [doi]
@inproceedings{BengtssonMD03,
title = {A BDD-based fast heuristic algorithm for disjoint decomposition},
author = {Tomas Bengtsson and Andrés Martinelli and Elena Dubrova},
year = {2003},
doi = {10.1145/1119772.1119810},
url = {http://doi.acm.org/10.1145/1119772.1119810},
researchr = {https://researchr.org/publication/BengtssonMD03},
cites = {0},
citedby = {0},
pages = {191-196},
booktitle = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003},
editor = {Hiroto Yasuura},
publisher = {ACM},
isbn = {0-7803-7660-9},
}