TY - SER AU - Birge, J. R AU - Takriti, S TI - Using Integer Programming to Refine Lagrangian-Based Unit Commitment Solutions KW - Branch -and-Bound KW - Dynamic Programming ER -