Symbolic Model Checking with Sentential Decision Diagrams.

Lieuwe Vinkhuijzen Alfons Laarman

Published in: SETTA (2020)

Keyphrases

symbolic model checking
decision diagrams
binary decision diagrams
boolean functions
model checking
planning problems
knowledge compilation
model checker
relational databases
multi dimensional
multi valued
data sets
database
formal verification
digital circuits
learning algorithm
machine learning