Keyphrases
- ordered binary decision diagrams
- deterministic domains
- model counting
- boolean functions
- knowledge compilation
- model checking
- stream cipher
- decomposable negation normal form
- image encryption
- ciphertext
- information systems
- planning problems
- block cipher
- lightweight
- relational databases
- advanced encryption standard
- learning algorithm
- data sets
- database