Login / Signup
An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams Case.
Georg Hinkel
Published in:
TTC@STAF (2019)
Keyphrases
</>
binary decision diagrams
negative matrix factorization
databases
boolean functions
variable ordering
database
nonnegative matrix factorization
symbolic model checking
artificial intelligence
knowledge based systems
integrity constraints