Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.