PJBDD: A BDD Library for Java and Multi-Threading.

Dirk Beyer Karlheinz Friedberger Stephan Holzner

Published in: ATVA (2021)

Keyphrases

multithreading
multi threaded
computational power
parallel computing
highly efficient
cross platform
coarse grained
distributed memory
memory efficient
data partitioning
message passing
fine grained
boolean functions
shared memory
query optimization
query execution
multi core processors
co occurrence
object oriented