Constraint learning: Difference between revisions

Revision as of 20:40, 9 February 2006

Revision as of 20:49, 9 February 2006

Line 17:

| Search has reached a dead end.

| Inconsistency may be caused by the values of <math>x_1</math> and <math>x_4</math> only. This fact can be stored in a new constraint.

| WhenIf reachingthe algorithm reaches the same values of <math>x_1</math> and <math>x_4</math> again, the new constraint blocks the search.

|}