Multi-core Decision Diagrams

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

    69 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

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

  • Cite this

    van Dijk, T., & van de Pol, J. (2018). Multi-core Decision Diagrams. In Y. Hamadi, & L. Sais (Eds.), Handbook of Parallel Constraint Reasoning (pp. 509-545). Cham: Springer. https://doi.org/10.1007/978-3-319-63516-3_13