An Optimal Randomized Online Algorithm for Reordering Buffer Management | IEEE Conference Publication | IEEE Xplore