Learning to Select Branching Rules in the DPLL Procedure for Satisfiability.

Michail G. Lagoudakis Michael L. Littman

Published in: Electron. Notes Discret. Math. (2001)

Keyphrases

learning algorithm
learning systems
reinforcement learning
learning process
knowledge acquisition
branch and bound
learning tasks
background knowledge
np complete
online learning
e learning
association rules
computational complexity
bayesian networks
first order logic
constraint satisfaction
neural network