SLIDE with parameters ● Slide constraints may share parameters ● LINKSET2BOOLEANS(S,[X1,..Xn]) – Converts set variable into characteristic function ● Encodes as SLIDE(C,[X1,..Xn]) where – C(S,Xi) holds iff Xi in S – S is parameter common to each slide constraint
{}