%0 Journal Article %1 journals/tc/GergovM94 %A Gergov, Jordan %A Meinel, Christoph %D 1994 %J IEEE Trans. Computers %K %N 10 %P 1197-1209 %T Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's. %U http://dblp.uni-trier.de/db/journals/tc/tc43.html#GergovM94 %V 43

@article{journals/tc/GergovM94, added-at = {2023-12-12T21:44:13.000+0100}, author = {Gergov, Jordan and Meinel, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/232707b0693064e4937f832a7664165c0/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.324545}, interhash = {42720f9f424a4906ce62aa32fd89668c}, intrahash = {32707b0693064e4937f832a7664165c0}, journal = {IEEE Trans. Computers}, keywords = {}, number = 10, pages = {1197-1209}, timestamp = {2023-12-12T21:44:13.000+0100}, title = {Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc43.html#GergovM94}, volume = 43, year = 1994 }