%0 Journal Article %1 journals/tc/WuFMW00 %A Wu, Yu-Liang %A Fan, Hongbing %A Marek-Sadowska, Malgorzata %A Wong, C. K. %D 2000 %J IEEE Trans. Computers %K dblp %N 12 %P 1371-1379 %T OBDD Minimization Based on Two-Level Representation of Boolean Functions. %U http://dblp.uni-trier.de/db/journals/tc/tc49.html#WuFMW00 %V 49

@article{journals/tc/WuFMW00, added-at = {2015-12-22T00:00:00.000+0100}, author = {Wu, Yu-Liang and Fan, Hongbing and Marek-Sadowska, Malgorzata and Wong, C. K.}, biburl = {https://www.bibsonomy.org/bibtex/21eec7961331e4a7e9966827b661744a7/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.895868}, interhash = {fa1753fa1203aada2d375beab3574709}, intrahash = {1eec7961331e4a7e9966827b661744a7}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 12, pages = {1371-1379}, timestamp = {2015-12-24T12:03:26.000+0100}, title = {OBDD Minimization Based on Two-Level Representation of Boolean Functions.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc49.html#WuFMW00}, volume = 49, year = 2000 }