Corpus ID: 9425948

JINC: a multi-threaded library for higher-order weighted decision diagram manipulation

  title={JINC: a multi-threaded library for higher-order weighted decision diagram manipulation},
  author={J{\"o}rn Ossowski},
  • Jörn Ossowski
  • Published 2009
  • Computer Science
  • Ordered Binary Decision Diagrams (OBDDs) have been proven to be an efficient data structure for symbolic algorithms. The efficiency of the symbolic methods depends on the underlying OBDD library. Available OBDD libraries are based on the standard concepts and so far only differ in implementation details. This thesis introduces new techniques to increase run-time and space-efficiency of an OBDD library. This thesis introduces the framework of Higher-Order Weighted Decision Diagrams (HOWDDs) to… CONTINUE READING
    11 Citations
    Sylvan: multi-core decision diagrams
    • 64
    • PDF
    Sylvan: multi-core framework for decision diagrams
    • T. V. Dijk, J. C. Pol
    • Computer Science
    • International Journal on Software Tools for Technology Transfer
    • 2016
    • 24
    • PDF
    Binary Decision Diagrams : An Algorithmic Basis for Symbolic Model Checking
    • PDF
    Multi-Core BDD Operations for Symbolic Reachability
    • 30
    • PDF
    Binary Decision Diagrams
    • R. Bryant
    • Computer Science
    • Handbook of Model Checking
    • 2018
    • 10
    • PDF
    Multi-core Decision Diagrams
    • 3
    • PDF
    EPiC Series in Computing
    • 1


    A uniform framework for weighted decision diagrams and its implementation
    • 10
    • PDF
    Multithreading: a revisionist view of dataflow architectures
    • 137
    • PDF
    Dynamic variable ordering for ordered binary decision diagrams
    • 355
    A data parallel algorithm for Boolean function manipulation
    • S. Gai, M. Rebaudengo, M. Reorda
    • Computer Science
    • Proceedings Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation
    • 1995
    • 12
    Efficient implementation of a BDD package
    • 1,366
    • PDF
    Bottom-up evaluation of logic programs using binary decision diagrams
    • M. Iwaihara, Yusaku Inoue
    • Computer Science
    • Proceedings of the Eleventh International Conference on Data Engineering
    • 1995
    • 14