Assignment {} is infeasible

{}

v1=b1

v1=c1

v2=b2

v2=c2

v3=b3

v3=c3

v1=b1

v2=b2

0

f({}) is false

(v1=a1) is a conflict

1

2

Infeasible

Previous slide

Next slide

Back to first slide

View graphic version