Text this: Integer programming and K-th shortest paths /