Login / Signup
Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions.
Amit Narayan
Jawahar Jain
Masahiro Fujita
Alberto L. Sangiovanni-Vincentelli
Published in:
ICCAD (1996)
Keyphrases
</>
boolean functions
binary decision diagrams
uniform distribution
functional decomposition
multi valued
functional properties
prime implicants
threshold functions
relevant variables
truth table
membership queries
search space
disjunctive normal form
bi decomposition
read once formulas
pseudo boolean functions