Learning from conflicts in propositional satisfiability. - Hamadi, Youssef; Jabbour, Saïd; Sais, Lakhdar (4OR, 2012)