%0 Journal Article %1 tr/trier/MI98-25 %A Meinel, Christoph %A Slobodová, Anna %D 1998 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K dblp %T Accelerating OBDD-Minimization by Means of Structural and Semantical Properties %V 98-25

@article{tr/trier/MI98-25, added-at = {2011-12-29T00:00:00.000+0100}, author = {Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/21c4d5e3d1b45f369feb4714317e31586/dblp}, interhash = {9361e290293a4d3718d4e507dca0997c}, intrahash = {1c4d5e3d1b45f369feb4714317e31586}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, timestamp = {2011-12-30T11:32:10.000+0100}, title = {Accelerating OBDD-Minimization by Means of Structural and Semantical Properties}, volume = {98-25}, year = 1998 }