CDCL is an acronym for Conflict-Driven Clause Learning, and it is used to characterize SAT solvers.

To our best knowledge the CDCL acronym was first used in the MSc thesis of Lawrence Ryan (Simon Frasier University, 2004).

Print/export