On Approximate Knowledge Compilation with Weighted Decision Diagrams.
Olga Heling-TveretinaGregory M. ProvanPublished in: IC-AI (2007)
Keyphrases
- knowledge compilation
- decision diagrams
- binary decision diagrams
- product configuration
- efficient computation
- prime implicates
- constraint satisfaction problems
- normal form
- markov decision processes
- boolean functions
- databases
- multi valued
- planning problems
- target language
- itemsets
- image quality
- management system
- lower bound
- machine learning