Apprentissage de Clauses Dirigé par Conflit (CDCL)

Un mécanisme de résolution SAT qui analyse les conflits rencontrés pendant la recherche pour dériver et enregistrer de nouvelles clauses (clauses apprises) empêchant le même motif de conflit sur des branches ultérieures, généralement combiné avec un retour arrière non chronologique.