Prinzip (vgl. DPLL für SAT)
eine Variable auswählen, für diese alle möglichen Belegungen ausprobieren
Menge der möglichen Belegungen anderer Variablen verkleinern
welche Variable wird Entscheidungsvariable?