Aprendizaje de Cláusulas Dirigido por Conflictos (CDCL)

Un mecanismo de resolución SAT que analiza los conflictos encontrados durante la búsqueda para derivar y registrar nuevas cláusulas (cláusulas aprendidas) que evitan que el mismo patrón de conflicto ocurra en ramas posteriores de la búsqueda, típicamente combinado con retroceso no cronológico.