Structural Detection of Symmetries in Boolean Functions.

Guoqiang Wang Andreas Kuehlmann Alberto L. Sangiovanni-Vincentelli

Published in: ICCD (2003)

Keyphrases

boolean functions
uniform distribution
threshold functions
dnf formulae
membership queries
functional properties
relevant variables
prime implicants
multi valued
dnf formulas
linear threshold
pseudo boolean functions
binary decision diagrams