Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability.

Luís Baptista João P. Marques Silva

Published in: CP (2000)

Keyphrases

real world
learning algorithm
reinforcement learning
online learning
learning systems
learning process
mobile learning
learning problems
data sets
bayesian networks
inductive inference
positive examples