Analysis of Algorithms for Computation of Direct Partial Logic Derivatives in Multiple-Valued Decision Diagrams | IEEE Conference Publication | IEEE Xplore