Knowledge Compilation Properties of Tree-of-BDDs.
Sathiamoorthy SubbarayanLucas BordeauxYoussef HamadiPublished in: AAAI (2007)
Keyphrases
- knowledge compilation
- product configuration
- binary decision diagrams
- prime implicates
- model counting
- quantified boolean formulae
- logical inference
- desirable properties
- normal form
- horn formulas
- polynomial size
- decomposable negation normal form
- databases
- target language
- data model
- relational databases
- computational complexity
- machine learning
- database