Μοντέλα προβλημάτων

►

Προβλήματα Ικανοποίησης Περιορισμών (CSP):

Χ → Σύνολο Μεταβλητών

D → Σύνολο Πεδίων Ορισμού

C → Σύνολο Περιορισμών

►

Προβλήματα Ικανοποίησης Boolean (SAT): 

Χ → Σύνολο Boolean Μεταβλητών

D → Κυριολεκτικά l και ¬l για κάθε X

i 

C → Σύνολο προτάσεων ως διάζευξη (OR) κυριολεκτικών

Μηχανισμοί Διάδοσης Περιορισμών για τήρηση συνέπειας

9