Isomorphism testing of Boolean functions computable by constant-depth circuits.
Vikraman ArvindYadu VasudevPublished in: Inf. Comput. (2014)
Keyphrases
- boolean functions
- uniform distribution
- truth table
- threshold functions
- prime implicants
- high speed
- pseudo boolean functions
- relevant variables
- disjunctive normal form
- binary decision diagrams
- multi valued
- functional properties
- bi decomposition
- linear threshold
- polynomial size
- dnf formulae
- membership queries
- machine learning