Truth Tables to Binary Decision Diagrams.

Antonio García-Domínguez Georg Hinkel

Published in: TTC@STAF (2019)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
variable ordering
database
databases
model checking
knowledge compilation
planning problems
artificial intelligence
relational databases
state space
multi dimensional