Equivalence classes of boolean functions for first-order correlation.
Jean-Marie Le BarsAlfredo ViolaPublished in: ISIT (2007)
Keyphrases
- boolean functions
- equivalence classes
- equivalence class
- polynomial size
- uniform distribution
- prime implicants
- threshold functions
- relevant variables
- functional properties
- first order logic
- dnf formulae
- bayesian network structures
- directed acyclic graph
- linear threshold
- disjunctive normal form
- multi valued
- membership queries
- read once formulas
- binary decision diagrams
- np complete