Abstract: Intentional controlled islanding (ICI) and black start allocation (BSA) are two examples of problems in the power systems literature that have been formulated as mixed integer programs (MIPs ...