Factorization using binary decision diagrams.
Håvard RaddumSrimathi VaradharajanPublished in: Cryptogr. Commun. (2019)
Keyphrases
- binary decision diagrams
- boolean functions
- symbolic model checking
- planning problems
- matrix factorization
- singular value decomposition
- model checking
- knowledge compilation
- variable ordering
- data sets
- reinforcement learning
- artificial intelligence
- knowledge base
- search algorithm
- knowledge discovery
- multi dimensional