Disambiguation evidence for CDCL SAT solver via surface form
"CDCL (conflict-driven clause learning)"
Triples (1)
Triples where some other subject referred to this entity
as "CDCL (conflict-driven clause learning)".
SAT
→
commonAlgorithmicApproach
→
"CDCL (conflict-driven clause learning)"
ⓘ
↳ resolves to CDCL SAT solver