Nächste Seite: Konsistenzen (Überblick) Aufwärts: Konsistenz-Begriffe Vorherige Seite: Finite-Domain-Constraints (FD)
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?