Удовлетворяване на ограничения
Множество от променливи V1, V2, …, Vn
- с области на стойности Dvi , i=1..n
Множество от ограничения
- допустими / недопустими комбинации от стойности на променливите
Целево състояние/състояния
- решение е наредена n-торка от стойности на променливите, която удовлетворява всички ограничения