Comparison of state-of-the-art transmission constrained unit commitment formulations | IEEE Conference Publication | IEEE Xplore