Yu-Liang Wu, Hongbing Fan, Malgorzata Marek-Sadowska, C. K. Wong. OBDD Minimization Based on Two-Level Representation of Boolean Functions. IEEE Transactions on Computers, 49(12):1371-1379, 2000. [doi]
@article{WuFMW00,
title = {OBDD Minimization Based on Two-Level Representation of Boolean Functions},
author = {Yu-Liang Wu and Hongbing Fan and Malgorzata Marek-Sadowska and C. K. Wong},
year = {2000},
url = {http://www.computer.org/tc/tc2000/t1371abs.htm},
tags = {rule-based, C++},
researchr = {https://researchr.org/publication/WuFMW00},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Computers},
volume = {49},
number = {12},
pages = {1371-1379},
}