%0 Journal Article %1 journals/tcad/LaiPP96 %A Lai, Yung-Te %A Pan, Kuo-Rueih Ricky %A Pedram, Massoud %D 1996 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 8 %P 977-990 %T OBDD-based function decomposition: algorithms and implementation. %U http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#LaiPP96 %V 15

@article{journals/tcad/LaiPP96, added-at = {2020-09-24T00:00:00.000+0200}, author = {Lai, Yung-Te and Pan, Kuo-Rueih Ricky and Pedram, Massoud}, biburl = {https://www.bibsonomy.org/bibtex/26d61a1fa8ad352394bdb8410ebd6524f/dblp}, ee = {https://doi.org/10.1109/43.511577}, interhash = {1d6068bb626aa80d590ef488e52f3bf7}, intrahash = {6d61a1fa8ad352394bdb8410ebd6524f}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 8, pages = {977-990}, timestamp = {2020-09-25T11:49:54.000+0200}, title = {OBDD-based function decomposition: algorithms and implementation.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#LaiPP96}, volume = 15, year = 1996 }