On multiple learning schemata in conflict driven solvers.
Andrea FormisanoFlavio VellaPublished in: ICTCS (2014)
Keyphrases
- multiple tasks
- learning problems
- learning algorithm
- learning scheme
- reinforcement learning
- inductive inference
- learning process
- online learning
- learning tasks
- empirical studies
- unsupervised learning
- learning systems
- knowledge acquisition
- incremental learning
- data mining
- learning environment
- case study
- website
- knowledge base
- information retrieval