Reality Distortion: Exact and Approximate Algorithms for Embedding into the Line | IEEE Conference Publication | IEEE Xplore