On the Size of Binary Decision Diagrams Representing Boolean Functions.
Yuri BreitbartHarry B. Hunt IIIDaniel J. RosenkrantzPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- boolean functions
- binary decision diagrams
- polynomial size
- uniform distribution
- multi valued
- bounded treewidth
- symbolic model checking
- threshold functions
- prime implicants
- linear threshold
- dnf formulae
- linear functions
- membership queries
- functional properties
- planning problems
- disjunctive normal form
- domain specific
- dnf formulas