Matrix representations of vectorial Boolean functions and eigenanalysis.
Brandon DravieJérémy ParriauxPhilippe GuillotGilles MillériouxPublished in: Cryptogr. Commun. (2016)
Keyphrases
- boolean functions
- uniform distribution
- dnf formulae
- membership queries
- prime implicants
- threshold functions
- binary decision diagrams
- relevant variables
- functional properties
- bi decomposition
- multi valued
- machine learning
- linear functions
- polynomial size
- heuristic search
- np complete
- read once formulas
- logic programs
- lower bound