Explaining Failures with Conflict Sets

Conflict set for P4 = P4

Whenever P can’t be given a value v because

it conflicts with the assignment of Q, add Q to

P’s conflict set

P2

P1

Previous slide

Next slide

Back to first slide

View graphic version