%0 Journal Article %1 tr/trier/MI99-19 %A Meinel, Christoph %A Sack, Harald %D 1999 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Algorithmic Considerations for +-OBDD Reordering %V 99-19

@article{tr/trier/MI99-19, added-at = {2011-12-29T00:00:00.000+0100}, author = {Meinel, Christoph and Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2e462cae380170d8e44fb84b97ed50601/dblp}, interhash = {14a4e0150348f98b15a59e403ebaf7e7}, intrahash = {e462cae380170d8e44fb84b97ed50601}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:41.000+0100}, title = {Algorithmic Considerations for +-OBDD Reordering }, volume = {99-19}, year = 1999 }