A two-phase method based on OBDD for searching for splitting strategies of large-scale power systems | IEEE Conference Publication | IEEE Xplore