Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits.

Vikraman Arvind Yadu Vasudev

Published in: LATA (2012)

Keyphrases

boolean functions
truth table
uniform distribution
membership queries
multi valued
relevant variables
functional properties
dnf formulae
logic synthesis
prime implicants
threshold functions
read once formulas
high speed
disjunctive normal form
machine learning
linear threshold
digital circuits
search space