DPLL-Algorithmus

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein rekursives Backtracking-Suchverfahren für die aussagenlogische Erfüllbarkeit, das Variablenteilung, Unit-Propagation (boolesche Konsistenzweitergabe), Eliminierung reiner Literale und systematisches Backtracking zur Entscheidung der Erfüllbarkeit einer CNF-Formel integriert.