Variable reordering for shared binary decision diagrams using output probabilities | IEEE Conference Publication | IEEE Xplore