%0 Conference Paper %1 conf/mbmv/EbendtD04 %A Ebendt, Rüdiger %A Drechsler, Rolf %B MBMV %D 2004 %E Stoffel, Dominik %E Kunz, Wolfgang %I Shaker %K dblp %P 233-242 %T A Tight Lower Bound for Dynamic BDD Reordering. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2004.html#EbendtD04

@inproceedings{conf/mbmv/EbendtD04, added-at = {2012-06-28T00:00:00.000+0200}, author = {Ebendt, Rüdiger and Drechsler, Rolf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a9682a606e000cad378c13e8de1ffe7f/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2004}, editor = {Stoffel, Dominik and Kunz, Wolfgang}, interhash = {e8fcaeefd89e29be5a1a8b767255559a}, intrahash = {a9682a606e000cad378c13e8de1ffe7f}, keywords = {dblp}, pages = {233-242}, publisher = {Shaker}, timestamp = {2016-02-02T14:12:48.000+0100}, title = {A Tight Lower Bound for Dynamic BDD Reordering.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2004.html#EbendtD04}, year = 2004 }