Testing odd-cycle-freeness in Boolean functions.
Arnab BhattacharyyaElena GrigorescuPrasad RaghavendraAsaf ShapiraPublished in: SODA (2012)
Keyphrases
- boolean functions
- uniform distribution
- threshold functions
- relevant variables
- dnf formulae
- membership queries
- prime implicants
- multi valued
- read once formulas
- disjunctive normal form
- truth table
- binary decision diagrams
- functional properties
- pseudo boolean functions
- bi decomposition
- learning algorithm
- linear functions
- automated reasoning
- learning theory