Login / Signup
Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions.
Jawahar Jain
James R. Bitner
Magdy S. Abadir
Jacob A. Abraham
Donald S. Fussell
Published in:
IEEE Trans. Computers (1997)
Keyphrases
</>
boolean functions
binary decision diagrams
uniform distribution
threshold functions
membership queries
prime implicants
relevant variables
dnf formulae
multi valued
functional properties
truth table
linear threshold
linear functions
disjunctive normal form
read once formulas