Minimizing Learned Clauses.

Niklas Sörensson Armin Biere

Published in: SAT (2009)

Keyphrases

horn clauses
real time
data mining
learning algorithm
artificial intelligence
social networks
reinforcement learning
multi agent
first order logic
efficient learning
consequence finding