Trace codes over $\Z_4$ and Boolean function.
Minjia ShiYan LiuHugues RandriamLin SokPatrick SoléPublished in: CoRR (2017)
Keyphrases
- boolean functions
- uniform distribution
- relevant variables
- membership queries
- multi valued
- monotone boolean functions
- bi decomposition
- read once formulas
- binary decision diagrams
- dnf formulas
- truth table
- disjunctive normal form
- functional decomposition
- functional properties
- pseudo boolean functions
- learning algorithm
- linear functions
- optimal solution