Multi-core Decision Diagrams

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

    2 Citations (Scopus)
    214 Downloads (Pure)

    Abstract

    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
    PublisherSpringer
    Chapter13
    Pages509-545
    Number of pages37
    ISBN (Electronic)978-3-319-63516-3
    ISBN (Print)978-3-319-63515-6
    DOIs
    Publication statusPublished - 2018

    Keywords

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

    Fingerprint

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

    Cite this