Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing.
Hiroyuki OchiNagisa IshiuraShuzo YajimaPublished in: DAC (1991)
Keyphrases
- boolean functions
- uniform distribution
- threshold functions
- dnf formulae
- prime implicants
- relevant variables
- pseudo boolean functions
- membership queries
- feature vectors
- linear threshold
- functional properties
- read once formulas
- search algorithm
- disjunctive normal form
- polynomial size
- dnf formulas
- binary decision diagrams
- search strategy
- normal form