On Formally Self-dual Boolean Functions in 2, 4 and 6 Variables.
Lin SokPatrick SoléPublished in: WAIFI (2012)
Keyphrases
- boolean functions
- relevant variables
- uniform distribution
- disjunctive normal form
- linear functions
- randomly generated
- threshold functions
- prime implicants
- multi valued
- binary decision diagrams
- functional properties
- linear threshold
- polynomial size
- membership queries
- read once formulas
- dnf formulae
- boolean formula
- bounded treewidth
- learning algorithm
- bi decomposition