%0 Conference Paper %1 conf/icecsys/TaherSMW00 %A Taher, Mohamed %A Salem, Ashraf %A Mahdi, Hani %A Wahdan, A. %B ICECS %D 2000 %I IEEE %K dblp %P 1008-1011 %T An oscillating algorithm for variable ordering in binary decision diagram. %U http://dblp.uni-trier.de/db/conf/icecsys/icecsys2000.html#TaherSMW00 %@ 0-7803-6542-9

@inproceedings{conf/icecsys/TaherSMW00, added-at = {2024-05-07T00:00:00.000+0200}, author = {Taher, Mohamed and Salem, Ashraf and Mahdi, Hani and Wahdan, A.}, biburl = {https://www.bibsonomy.org/bibtex/2c0395ad78686a0f67991f66a58737a7b/dblp}, booktitle = {ICECS}, crossref = {conf/icecsys/2000}, ee = {https://doi.org/10.1109/ICECS.2000.913046}, interhash = {cb5b6d8a6bd0da013b008ce6bff3f80c}, intrahash = {c0395ad78686a0f67991f66a58737a7b}, isbn = {0-7803-6542-9}, keywords = {dblp}, pages = {1008-1011}, publisher = {IEEE}, timestamp = {2024-05-13T08:55:41.000+0200}, title = {An oscillating algorithm for variable ordering in binary decision diagram.}, url = {http://dblp.uni-trier.de/db/conf/icecsys/icecsys2000.html#TaherSMW00}, year = 2000 }