Test Candidates Collecting Conflicts Candidates:(03=.,(AlU. ,(A2=U.) Solutions: O1=U. Orl 11110 B Andl Or2 And2 G Second candidate (03=U,. Suspend 03s constraints Testing Consistency≠ Forward Prediction Test consistency-) Inconsistent 10/03/03 copyright Brian Williams, 200310/03/03 copyright Brian Williams, 2003 24 1 1 1 1 0 Or1 And1 And2 A B C D E F G X Y Z 0 1 1 1 Test Candidates Collecting Conflicts • Second candidate {O3=U, …} • Suspend O3’s constraints • Test consistency ĺ Inconsistent 1 1 Testing Consistency  Forward Prediction Candidates: { {O3=U…}, {A1=U…}, {A2=U…}} Solutions: {{O1=U…}} Or2