Multi-Valued Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors | IEEE Conference Publication | IEEE Xplore