Integration de l'apprentissage de clauses au dpll.