Keyphrases
- knowledge compilation
- product configuration
- temporal difference
- prime implicates
- logical inference
- learning algorithm
- quantified boolean formulae
- reinforcement learning
- polynomial size
- model counting
- normal form
- decomposable negation normal form
- evaluation function
- constraint satisfaction problems
- cnf formula
- search space
- binary decision diagrams
- natural language
- machine learning