Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- logical inference
- normal form
- model counting
- quantified boolean formulae
- polynomial size
- target language
- horn formulas
- binary decision diagrams
- constraint satisfaction problems
- data mining
- modal logic
- knowledge based systems
- decision support
- management system
- computational complexity
- decision making
- information retrieval