%0 Journal Article %1 journals/tcad/BernMS96a %A Bern, Jochen %A Meinel, Christoph %A Slobodová, Anna %D 1996 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 131-134 %T Global rebuilding of OBDD's avoiding memory requirement maxima. %U http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#BernMS96a %V 15

@article{journals/tcad/BernMS96a, added-at = {2020-09-24T00:00:00.000+0200}, author = {Bern, Jochen and Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/263ead42692462a607ba02310489c9fff/dblp}, ee = {https://doi.org/10.1109/43.486279}, interhash = {5ff0457dcab1953e619774fb3d82a083}, intrahash = {63ead42692462a607ba02310489c9fff}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 1, pages = {131-134}, timestamp = {2020-09-25T11:48:50.000+0200}, title = {Global rebuilding of OBDD's avoiding memory requirement maxima.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad15.html#BernMS96a}, volume = 15, year = 1996 }