Minimal Cut Vectors and Logical Differential Calculus | IEEE Conference Publication | IEEE Xplore