Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains.
Masahito KuriharaHisashi KondoPublished in: Australian Joint Conference on Artificial Intelligence (1999)
Keyphrases
- boolean functions
- binary decision diagrams
- expert systems
- functional decomposition
- uniform distribution
- multi valued
- dnf formulae
- threshold functions
- membership queries
- prime implicants
- functional properties
- relevant variables
- truth table
- linear threshold
- read once formulas
- bi decomposition
- heuristic search
- polynomial size
- learning algorithm
- search strategies
- search algorithm