Perez, G.; Régin, J.-C. Parallel Algorithms for Operations on Multi-Valued Decision Diagrams. AAAI 2018, 32.