Test Candidates Collecting Conflicts Candidates:{03U….},{Al=U..},{A3=U…} Solutions: 01=U.) 11110 BCD Andl Or2 And2G E Ore First candidate Ol=U Suspend ols constraints Test consistency -Consistent: Add to solutions 10/03/03 copyright Brian Williams, 2003 2210/03/03 copyright Brian Williams, 2003 22 1 1 1 1 0 Or2 Or3 And1 And2 A B C D E F G X Y Z 0 1 1 1 1 • First candidate {O1=U, …} • Suspend O1’s constraints • Test consistency ĺ Consistent: Add to solutions Test Candidates Collecting Conflicts Candidates: {{O3=U…}, {A1=U…}, {A3=U…}} Solutions: {{O1=U…} }