Documents Arc-consistency for alldiff(x,y,...,z) Example: P=(X,D,C) Variables: {w,x,y,z} X Domains: w ...

Slide 1 Arc-consistency for alldiff(x,y,...,z) Example: P=(X,D,C) Variables: {w,x,y,z}  X Domains: w  {b,c,d,e} x  {b,c} y  {a,b,c,d} z  {b,c} Constraints:…