Login / Signup

Learning from conflicts in propositional satisfiability.

Youssef HamadiSaïd JabbourLakhdar Sais
Published in: 4OR (2012)
Keyphrases
  • learning algorithm
  • reinforcement learning
  • probability distribution
  • constraint satisfaction
  • propositional satisfiability