Mixed integer programming formulation techniques and applications to Unit Commitment problem | IEEE Conference Publication | IEEE Xplore