Tight mixed integer linear programming formulations for the unit commitment problem - Ostrowski, James; Anjos, Miguel F.; Vannelli, Anthony (IEEE Transactions on Power Systems, 2012)