Jozef Kostolny, Elena Zaitseva, Suzana Stojkovic, Radomir S. Stankovic. Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2015 - 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers. Volume 9520 of Lecture Notes in Computer Science, pages 41-48, Springer, 2015. [doi]
Abstract is missing.