%0 Conference Paper %1 conf/dagstuhl/MeinelSW00 %A Meinel, Christoph %A Sack, Harald %A Wagner, Arno %B Experimental Algorithmics %D 2000 %E Fleischer, Rudolf %E Moret, Bernard M. E. %E Schmidt, Erik Meineche %I Springer %K %P 127-138 %T WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms. %U http://dblp.uni-trier.de/db/conf/dagstuhl/ea2000.html#MeinelSW00 %V 2547 %@ 3-540-00346-0

@inproceedings{conf/dagstuhl/MeinelSW00, added-at = {2023-12-13T08:23:22.000+0100}, author = {Meinel, Christoph and Sack, Harald and Wagner, Arno}, biburl = {https://www.bibsonomy.org/bibtex/2477040266698dbdafe6ad0e6932995a0/admin}, booktitle = {Experimental Algorithmics}, crossref = {conf/dagstuhl/2000ea}, editor = {Fleischer, Rudolf and Moret, Bernard M. E. and Schmidt, Erik Meineche}, ee = {https://doi.org/10.1007/3-540-36383-1_6}, interhash = {c3415a81e3d4b56d8b8790251b8eef32}, intrahash = {477040266698dbdafe6ad0e6932995a0}, isbn = {3-540-00346-0}, keywords = {}, pages = {127-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T08:23:22.000+0100}, title = {WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/ea2000.html#MeinelSW00}, volume = 2547, year = 2000 }