Detection of symmetry of Boolean functions represented by ROBDDs.

Dirk Möller Janett Mohnke Michael Weber

Published in: ICCAD (1993)

Keyphrases

boolean functions
binary decision diagrams
uniform distribution
functional properties
threshold functions
membership queries
dnf formulae
relevant variables
prime implicants
linear functions
linear threshold
truth table