. . . , E), M is a large number, aedj=1 if e belongs to the path j realizing demand d, 0 otherwise, ye is the capacity of link e, cd is the weight of demand d, xdj is the flow allocated to path j realizing demand d (non-negative continuous), t is an auxiliary variable (continuous) and ??dj is a binary variable indicating which path is chosen to carry demand d.