Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- normal form
- model counting
- quantified boolean formulae
- polynomial size
- decomposable negation normal form
- horn formulas
- logical inference
- knowledge acquisition
- binary decision diagrams
- expert systems
- global constraints
- databases
- industrial applications
- constraint satisfaction
- knowledge based systems
- decision support
- decision making
- data mining