%0 Journal Article %1 tr/trier/MI01-09 %A Meinel, Christoph %A Sack, Harald %A Wagner, Arno %D 2001 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K %T WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms %V 01-09

@article{tr/trier/MI01-09, added-at = {2023-12-14T15:03:19.000+0100}, author = {Meinel, Christoph and Sack, Harald and Wagner, Arno}, biburl = {https://www.bibsonomy.org/bibtex/2b9e28a44889b8bb3d7fe4d451f0d7b53/admin}, interhash = {e6a1af54b9d06cd103a1bd51dafc9ef8}, intrahash = {b9e28a44889b8bb3d7fe4d451f0d7b53}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {}, timestamp = {2023-12-14T15:03:19.000+0100}, title = {WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms}, volume = {01-09}, year = 2001 }