A Thread-Safe Library for Binary Decision Diagrams.

Alberto Lovato Damiano Macedonio Fausto Spoto

Published in: SEFM (2014)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
variable ordering
model checking
knowledge compilation
planning problems
data sets
general purpose
machine learning
information retrieval
data model