C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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