%0 Journal Article %1 tr/trier/MI01-06 %A Meinel, Christoph %A Sack, Harald %D 2001 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K %T A Heuristic for (+)-OBDD Minimization %V 01-06

@article{tr/trier/MI01-06, added-at = {2023-12-12T18:37:28.000+0100}, author = {Meinel, Christoph and Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/218d290da7e029a98c6cd89ac6ac41dcc/admin}, interhash = {14f70ce39ed98dc22018656d86605123}, intrahash = {18d290da7e029a98c6cd89ac6ac41dcc}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {}, timestamp = {2023-12-12T18:37:28.000+0100}, title = {A Heuristic for (+)-OBDD Minimization}, volume = {01-06}, year = 2001 }