Trading inference effort versus size in CNF Knowledge Compilation.
Matthew GwynneOliver KullmannPublished in: CoRR (2013)
Keyphrases
- knowledge compilation
- logical inference
- polynomial size
- product configuration
- model counting
- prime implicates
- quantified boolean formulae
- decomposable negation normal form
- normal form
- horn formulas
- machine learning
- cnf formula
- binary decision diagrams
- lower bound
- functional dependencies
- np hard
- computational complexity
- artificial intelligence
- information retrieval
- database