An oscillating algorithm for variable ordering in binary decision diagram | IEEE Conference Publication | IEEE Xplore