A simulation study of OBDD-based proper splitting strategies for power systems under consideration of transient stability
Graph-Based Algorithms for Boolean Function Manipulation