Test Candidates Collecting Conflicts Candidates: 03=U.,(Al=U.,A2=U.) Solutions: O1=U. Orl 11110 B And1 Or2 And2G EOr Second candidate (03=U,.) Suspend 03s constraints Test consistency 10/03/03 copyright Brian Williams, 200310/03/03 copyright Brian Williams, 2003 23 1 1 1 1 0 Or1 Or2 Or3 And2 A B C D E F G X Y Z 0 1 Test Candidates Collecting Conflicts • Second candidate {O3=U, …} • Suspend O3’s constraints • Test consistency And1 Candidates: { {O3=U…}, {A1=U…}, {A2=U…}} Solutions: {{O1=U…}}