Impacts of UC formulation tightening on computation of convex hull prices | IEEE Conference Publication | IEEE Xplore