A cut-and-solve-based algorithm for optimal lane reservation with dynamic link travel times · Study