Login / Signup
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability.
Jin S. Zhang
Alan Mishchenko
Robert K. Brayton
Malgorzata Chrzanowska-Jeske
Published in:
DAC (2006)
Keyphrases
</>
boolean functions
symmetry detection
binary decision diagrams
uniform distribution
multi valued
functional decomposition
threshold functions
randomly generated
relevant variables
np complete
dnf formulae
prime implicants
membership queries
linear threshold
high speed
functional properties
rotational symmetry