Login / Signup
Isomorphism Testing of Boolean Functions Computable by Constant Depth Circuits.
Vikraman Arvind
Yadu Vasudev
Published in:
Electron. Colloquium Comput. Complex. (2011)
Keyphrases
</>
boolean functions
truth table
uniform distribution
threshold functions
membership queries
multi valued
dnf formulae
prime implicants
binary decision diagrams
functional properties
relevant variables
logic synthesis
linear functions
linear threshold
pseudo boolean functions
disjunctive normal form
high speed