Parameterization of Boolean functions by vectorial functions and associated constructions.
Claude CarletPublished in: ISAIM (2022)
Keyphrases
- boolean functions
- bi decomposition
- functional properties
- disjunctive normal form
- monotone boolean functions
- uniform distribution
- linear functions
- threshold functions
- multi valued
- dnf formulae
- prime implicants
- statistical queries
- relevant variables
- pseudo boolean functions
- membership queries
- polynomial size
- read once formulas
- linear threshold
- model checking
- machine learning