Mohamed Taher, A. Salem, H. Mahdi, A. Wahdan. An oscillating algorithm for variable ordering in binary decision diagram. In Proceedings of the 2000 7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000, Jounieh, Lebanon, December 17-20, 2000. pages 1008-1011, IEEE, 2000. [doi]
Abstract is missing.