0/1 Propagators

Example: {FD.conj X Y Z}

Propagation Rules: X=0 ? Z=0

X=1 ? Y=Z

Y=0 ? Z=0

Y=1 ? X=Z

Z=1 ? X=1, Y=1

X=Y ? X=Z, Y=Z

Beyond domain consistency

Previous slide

Next slide

Back to first slide

View graphic version