Local and Global Complete Solution Learning Methods for QBF.
Ian P. GentAndrew G. D. RowleyPublished in: SAT (2005)
Keyphrases
- learning algorithm
- empirical studies
- learning models
- learning tasks
- learning process
- active learning
- data mining techniques
- machine learning
- machine learning methods
- learning problems
- neural nets
- prior knowledge
- significant improvement
- online learning
- machine learning algorithms
- learning systems
- preprocessing
- human experts
- reinforcement learning
- learned models