Minimization of the Number of Edges in an EVMDD by Variable Grouping for Fast Analysis of Multi-State Systems | IEEE Conference Publication | IEEE Xplore