Conflict-Driven Clause Learning

A SAT-solving mechanism that analyzes conflicts encountered during search to derive and record new clauses (learned clauses) which prevent the same conflict pattern on subsequent search branches, typically combined with non-chronological backtracking.