Analysis of Algorithms for Computation of Direct Partial Logic Derivatives in Multiple-Valued Decision Diagrams

Presented at RAMSS 2014 by

Miroslav Kvassay

Elena Zaitseva

Jozef Kostolny