Graph Driven BDDs - A New Data Structure for Boolean Functions.
Detlef SielingIngo WegenerPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- boolean functions
- binary decision diagrams
- data structure
- dependency graph
- uniform distribution
- bounded treewidth
- directed acyclic
- threshold functions
- prime implicants
- relevant variables
- multi valued
- heuristic search
- membership queries
- pseudo boolean functions
- functional properties
- graph structure
- dnf formulae
- dnf formulas
- linear threshold
- directed acyclic graph
- bi decomposition
- fp tree
- read once formulas
- directed graph
- polynomial size
- undirected graph
- planning problems
- tree structure