Large Scale Skill Matching through Knowledge Compilation.
Eufemia TinelliSimona ColucciSilvia GianniniEugenio Di SciascioFrancesco M. DoniniPublished in: ISMIS (2012)
Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- model counting
- logical inference
- constraint satisfaction
- quantified boolean formulae
- decision support
- polynomial size
- decomposable negation normal form
- data mining
- horn formulas
- normal form
- design process
- expert systems
- computational complexity
- information retrieval
- machine learning