Constraint learning: Difference between revisions

Revision as of 20:33, 9 February 2006

Revision as of 20:40, 9 February 2006

Line 15:

| [[Image:Constraint-learning-3.svg]]

|-

| 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.

| If this fact is stored in a constraint, whenWhen reaching the same values of <math>x_1</math> and <math>x_4</math>, nothe furthernew searchconstraint isblocks neededthe from this pointsearch.

|}