Parallel Algorithms for Operations on Multi-Valued Decision Diagrams.

Guillaume Perez, Jean-Charles Rgin

Browse the full AAAI paper archive.