An oscillating algorithm for variable ordering in binary decision diagram. - Mohamed Taher; Ashraf Salem; Hani Mahdi 001; A. Wahdan (ICECS, 2000)