Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms.

Gilles Audemard Laurent Simon

Published in: CP (2008)

Keyphrases

learning algorithm
data driven
training data
data sets
machine learning algorithms
small number
active learning
search space
database
decision trees
e learning
supervised learning
machine learning
training examples
generalization error
learning rate
learning scheme
conflict resolution