This shows you the differences between two versions of the page.

Link to this comparison view

cdcl [2016/11/18 15:59] (current)
ajrm created
Line 1: Line 1:
 +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).