Login / Signup
Transforming Truth Tables to Binary Decision Diagrams Using the Role-based Synchronization Approach.
Christopher Werner
Rico Bergmann
Johannes Mey
René Schöne
Uwe Aßmann
Published in:
TTC@STAF (2019)
Keyphrases
</>
binary decision diagrams
boolean functions
symbolic model checking
access control
planning problems
database
databases
model checking
variable ordering
knowledge compilation
data mining
information retrieval
association rules
domain specific
domain independent