Multi-core Decision Diagrams

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    2 Citations (Scopus)
    214 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationHandbook of Parallel Constraint Reasoning
    EditorsYoussef Hamadi, Lakhdar Sais
    Place of PublicationCham
    Number of pages37
    ISBN (Electronic)978-3-319-63516-3
    ISBN (Print)978-3-319-63515-6
    Publication statusPublished - 2018


    • Parallel algorithms
    • Decision diagram
    • MDD
    • BDD
    • MT-BDD
    • Work-stealing
    • Deque
    • Garbage collection
    • n/a OA procedure


    Dive into the research topics of 'Multi-core Decision Diagrams'. Together they form a unique fingerprint.

    Cite this