Using integer programming to refine Lagrangian-based unit commitment solutionsSamer TakritiJohn R. Birge2000IEEE Transactions on Power Systems