Пример: Разписание
Алгоритъм - generate & test
Генерира се множеството:
- D = DA x DB x DC x DD x DE = { 1 , 2 , 3 , 4 } x { 1 , 2 , 3 , 4 } x { 1 , 2 , 3 , 4 } x { 1 , 2 , 3 , 4 } x { 1 , 2 , 3 , 4 } = { ə,1,1,1,1>, ə,1,1,1,2> … ɜ,4,4,4,4>}
Тества се всяко свързване на променливите за това дали удовлетворява ограниченията