Translation Equivalence of Boolean Functions Expressed by Primitive Element.
Yindong ChenLiu ZhangDeng TangWeihong CaiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2019)
Keyphrases
- boolean functions
- uniform distribution
- threshold functions
- dnf formulae
- membership queries
- prime implicants
- relevant variables
- linear threshold
- functional properties
- pseudo boolean functions
- read once formulas
- bi decomposition
- disjunctive normal form
- dnf formulas
- binary decision diagrams
- multi valued
- machine translation
- linear functions
- membership and equivalence queries
- learning algorithm