Multi-valued decision diagrams (MDDs, also called multi-way decision dia- grams) are a generalization of BDDs to the integer domain [16]. Definition 3 (Multi- ...

We implement parallel operations on list decision diagrams, a variant of multi-valued decision diagrams that is useful for symbolic model checking. We also ...

Sylvan is a parallel (multi-core) multi-terminal binary decision diagram library written in C. Sylvan implements typical binary decision diagram operations ...

Abstract Decision diagrams are fundamental data structures that revolutionized fields such as model checking, automated reasoning and decision processes.

Oct 19, 2016 · Using Sylvan, one can very easily speedup sequential symbolic algorithms, by replacing the BDD operations by calls to their parallel ...

Mar 22, 2023 · Abstract:BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, ...

We implement parallel operations on list decision diagrams, a variant of multi-valued decision diagrams that is useful for symbolic model checking. We also ...

This paper discusses the design and implementation of Sylvan, especially an improvement to the lock-free unique table that uses bit arrays, the concurrent ...

Decision diagrams are fundamental data structures that revolutionized fields such as model checking, automated reasoning and decision processes.

It supports custom decision diagram terminal types, and it also implements operations on a specialized list of decision diagrams for model-checking.