Test Candidates Collecting Conflicts Candidates:(01=U.,(03=U ,(A1=U ,(A3=U.) Solutions: 11110 B Andl Or2 And2G E Or3Z · First candidate O1=U,…} Suspend ols constraints 10/03/03 copyright Brian Williams, 2003 2010/03/03 copyright Brian Williams, 2003 20 1 1 1 1 0 Or2 Or3 And1 And2 A B C D E F G X Y Z 0 1 • First candidate {O1=U, … } • Suspend O1’s constraints Test Candidates Collecting Conflicts Candidates: {{O1=U…}, {O3=U…}, {A1=U…}, {A3=U…}} Solutions: {}