Login / Signup
Auxiliary variables for BDD-based representation and manipulation of Boolean functions.
Gianpiero Cabodi
Paolo Camurati
Stefano Quer
Published in:
ACM Trans. Design Autom. Electr. Syst. (1998)
Keyphrases
</>
boolean functions
binary decision diagrams
auxiliary variables
uniform distribution
multi valued
prime implicants
threshold functions
dnf formulae
membership queries
functional properties
read once formulas
image processing
linear programming
image representation