%0 Conference Paper %1 conf/iccd/MeinelS97 %A Meinel, Christoph %A Slobodová, Anna %B ICCD %D 1997 %I IEEE Computer Society %K dblp %P 338-343 %T Speeding up Variable Reordering of OBDDs. %U http://dblp.uni-trier.de/db/conf/iccd/iccd97.html#MeinelS97 %@ 0-8186-8206-X

@inproceedings{conf/iccd/MeinelS97, added-at = {2023-03-23T00:00:00.000+0100}, author = {Meinel, Christoph and Slobodová, Anna}, biburl = {https://www.bibsonomy.org/bibtex/204df5e29ceffb5c72bc033ff3f8b4d21/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.1997.628892}, interhash = {decf82e5f9ad1904635acf7dda286657}, intrahash = {04df5e29ceffb5c72bc033ff3f8b4d21}, isbn = {0-8186-8206-X}, keywords = {dblp}, pages = {338-343}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:59:10.000+0200}, title = {Speeding up Variable Reordering of OBDDs.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd97.html#MeinelS97}, year = 1997 }