Login / Signup
Learning from conflicts in propositional satisfiability.
Youssef Hamadi
Saïd Jabbour
Lakhdar Sais
Published in:
4OR (2012)
Keyphrases
</>
learning algorithm
reinforcement learning
probability distribution
constraint satisfaction
propositional satisfiability