Konfliktgesteuertes Klausel-Lernen (CDCL)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein SAT-Lösungsmechanismus, der Konflikte während der Suche analysiert, um neue Klauseln (gelernten Klauseln) abzuleiten und zu speichern, die denselben Konflikt auf späteren Suchzweigen verhindern, typischerweise kombiniert mit nicht-chronologischem Backtracking.