> with results very close to the theoretical linear optimum In this case I could prove it was the globally optimal solution. But this was only possible of cou

> with results very close to the theoretical linear optimum In this case I could prove it was the globally optimal solution. But this was only possible of course due to the internal structure of the problem: it was in effect a simpler problem hiding within a linear integer program. Standard solvers couldn’t find this structure, but it was possible to do by hand.