On a class of boolean functions with matroid property.
Françoise Reynaud GarocheMichel LéonardPublished in: Discret. Math. (1984)
Keyphrases
- boolean functions
- threshold functions
- uniform distribution
- dnf formulae
- linear threshold
- relevant variables
- polynomial size
- membership queries
- prime implicants
- dnf formulas
- functional properties
- disjunctive normal form
- binary decision diagrams
- linear functions
- read once formulas
- multi valued
- equivalence queries
- desirable properties
- greedy algorithm