Hypergraph Isomorphism and Structural Equivalence of Boolean Functions.
Eugene M. LuksPublished in: STOC (1999)
Keyphrases
- boolean functions
- uniform distribution
- threshold functions
- dnf formulae
- relevant variables
- prime implicants
- linear functions
- pseudo boolean functions
- disjunctive normal form
- membership queries
- pairwise
- linear threshold
- functional properties
- multi valued
- read once formulas
- polynomial size
- binary decision diagrams
- statistical queries
- multi class
- search algorithm
- truth table