ALLQBF Solving by Computational Learning.

Bernd Becker Rüdiger Ehlers Matthew Lewis Paolo Marin

Published in: ATVA (2012)

Keyphrases

learning systems
reinforcement learning
learning process
learning scheme
active learning
learning tasks
learning problems
solving problems
machine learning
genetic algorithm
learning algorithm
database
supervised learning
inductive learning
learning scenarios
mobile learning
prior knowledge
real time