I. Introduction
Unit commitment (UC) is a fundamental optimization problem in power systems that is solved multiple times daily to obtain a cost-effective schedule of generators. UC is typically formulated as a constrained mixed-integer linear program (MILP) and solved with the Branch and Cut (B&C) method on general-purpose solvers. Even though there is a practical demand on improving the model accuracy and solution optimality of UC [1], the capacity limit of MILP solvers hinders system operators from making such improvements.