Using integer programming to refine Lagrangian-based unit commitment solutions | IEEE Journals & Magazine | IEEE Xplore