Multi-core Decision Diagrams



Published in: Handbook of Parallel Constraint Reasoning pp 509–545

DOI: 10.1007/978-3-319-63516-3_13



Decision diagrams are fundamental data structures that revolutionized fields such as model checking, automated reasoning and decision processes. As performance gains in the current era mostly come from parallel processing, an ongoing challenge is to develop data structures and algorithms for modern multicore architectures. This chapter describes the parallelization of decision diagram operations as implemented in the parallel decision diagram package Sylvan, which allows sequential algorithms that use decision diagrams to exploit the power of multi-core machines.

BibTeX entry:

 author = {Tom van Dijk and Jaco van de Pol},
 booktitle = {Handbook of Parallel Constraint Reasoning},
 doi = {10.1007/978-3-319-63516-3_13},
 pages = {509--545},
 publisher = {Springer},
 title = {Multi-core Decision Diagrams},
 year = {2018}