Commercial mathematical programming codes can solve practical problems in combinatorial optimization. But the formulation is not always straightforward, partly because of nonlinearities and partly because the code may work badly if the LP relaxation of the model does not provide a good guide to the integer solution. This paper describes a model that has… (More)