Only {v1=b1} added to agenda

{}

v1=b1

v1=c1

v2=b2

v2=c2

v3=b3

v3=c3

0

f({}) is false

(v1=a1) is a conflict

1

2

Not yet added to agenda

Previous slide

Next slide

Back to first slide

View graphic version