Μοντέλα προβλημάτων
►
Προβλήματα Ικανοποίησης Περιορισμών (CSP):
Χ → Σύνολο Μεταβλητών
D → Σύνολο Πεδίων Ορισμού
C → Σύνολο Περιορισμών
►
Προβλήματα Ικανοποίησης Boolean (SAT):
Χ → Σύνολο Boolean Μεταβλητών
D → Κυριολεκτικά l και ¬l για κάθε X
i
C → Σύνολο προτάσεων ως διάζευξη (OR) κυριολεκτικών
Μηχανισμοί Διάδοσης Περιορισμών για τήρηση συνέπειας
9