Equivalence classes of Boolean functions for first-order correlation.
Jean-Marie Le BarsAlfredo ViolaPublished in: IEEE Trans. Inf. Theory (2010)
Keyphrases
- boolean functions
- equivalence classes
- equivalence class
- polynomial size
- uniform distribution
- bayesian network structures
- threshold functions
- first order logic
- membership queries
- directed acyclic graph
- dnf formulae
- prime implicants
- functional properties
- relevant variables
- read once formulas
- multi valued
- logic programming