Parallel Algorithms for Operations on Multi-Valued Decision Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillaume Perez, Jean-Charles Régin. Parallel Algorithms for Operations on Multi-Valued Decision Diagrams. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 6625-6632, AAAI Press, 2018. [doi]

This author has not been identified. Look up 'Guillaume Perez' in GoogleThis author has not been identified. Look up 'Jean-Charles Régin' in Google

runs on WebDSL