A novel binary integer linear programming traceable approximate formulation for unit commitment problem - Zhang, Chen; Yang, Linfeng (Journal of control and decision, 2025)