DPLL: Heuristiken

Minisat http://minisat.se/

• Wahl der nächsten Entscheidungsvariablen

  (am häufigsten in aktuellen Konflikten)

• Lernen von Konflikt-Klauseln (siehe nächste Folie)
• Vorverarbeitung (Variablen und Klauseln eliminieren) (siehe Übung)