Use of Binary Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors | IEEE Conference Publication | IEEE Xplore