[BeldiceanuR00]

$\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}(\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂},\mathrm{𝙼𝙰𝙲𝙷𝙸𝙽𝙴𝚂})$

Figure 5.57.1 illustrates the example. It present four machines with their respective unavailability periods (in grey) as well as four tasks (in blue and pink). Each item of the $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$ collection corresponds to the start or to the end of one of the previous four tasks. The $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$ constraint holds since:

• The real date 3 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[1\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=3$) associated with the start ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[1\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=0$) of task (a) in the universal time corresponds to the virtual date 2 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[1\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=2$) on machine 1 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[1\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=1$).

• The real date 6 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[2\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=6$) associated with the end ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[2\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=1$) of task (a) in the universal time corresponds to the virtual date 5 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[2\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=5$) on machine 1 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[2\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=1$).

• The real date 5 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[3\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=5$) associated with the start ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[3\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=0$) of task (b) in the universal time corresponds to the virtual date 4 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[3\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=4$) on machine 2 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[3\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=2$).

• The real date 9 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[4\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=9$) associated with the end ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[4\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=1$) of task (b) in the universal time corresponds to the virtual date 6 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[4\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=6$) on machine 2 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[4\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=2$).

• The real date 2 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[5\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=2$) associated with the start ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[5\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=0$) of task (c) in the universal time corresponds to the virtual date 2 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[5\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=2$) on machine 3 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[5\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=3$).

• The real date 5 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[6\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=5$) associated with the end ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[6\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=1$) of task (c) in the universal time corresponds to the virtual date 5 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[6\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=5$) on machine 3 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[6\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=3$).

• The real date 2 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[7\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=2$) associated with the start ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[7\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=0$) of task (d) in the universal time corresponds to the virtual date 2 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[7\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=2$) on machine 4 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[7\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=4$).

• The real date 9 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[8\right].\mathrm{𝚒𝚛𝚎𝚊𝚕}=9$) associated with the end ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[8\right].\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}=1$) of task (d) in the universal time corresponds to the virtual date 7 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[8\right].\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}=7$) on machine 4 ($\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}\left[8\right].\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}=4$).

Figure 5.57.1. Four machines with their unavailability periods as well as four tasks assigned to these machines (virtual dates mentioned in the Example slot use a bold font)

• Items of $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$ are permutable.

• Items of $\mathrm{𝙼𝙰𝙲𝙷𝙸𝙽𝙴𝚂}$ are permutable.

Contractible wrt. $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$.

The $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$ constraint is used as a channelling constraint in resource scheduling problems where resources have unavailability periods that can preempt the execution of a task. In this context two time coordinates systems are used:

• A first coordinate system, so called the virtual coordinate system, ignores all unavailability periods on the different resources. All resource constraints are stated within this virtual coordinate system.

• A second coordinate system, so called the real coordinate system, corresponds to the real time. All temporal constraints (e.g., precedence constraints) are stated within this real coordinate system.

In this context, each task has a virtual origin, a virtual duration, a virtual end, a real origin, a real duration, a real end and the $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$ constraint links together the virtual origin and the real origin as well as the virtual end and the real end. The virtual duration (i.e., the real duration plus the sum of the unavailability periods crossed by the task) is linked to the virtual end and the virtual origin through an equality constraint on the difference between the virtual end and the virtual origin. The real duration is linked in a similar way to the real end and the real origin. The keyword scheduling with machine choice, calendars and preemption provides a concrete example of resource scheduling problem using the $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$ constraint.

The $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$ constraint can be reformulated into two generalised $\mathrm{𝚌𝚊𝚜𝚎}$ constraints (i.e., two $\mathrm{𝚌𝚊𝚜𝚎}$ constraints augmented with linear constraints). Part (A) (respectively Part (B)) of Figure 5.57.2 provides the directed acyclic graph that allows mapping the virtual start and real start (respectively the virtual end and real end) of a task. This directed acyclic graph can be computed directly from the arguments of the $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$ constraint:

1. We create an initial root node labelled by $m$ and we partition the set of machines into classes of consecutive machines that all share exactly the same unavailability periods. For each such class we create an arc from the root node to a new node $\mathrm{𝑣𝑠}$ labelled by the corresponding interval of consecutive machines identifiers. In Part (A) this corresponds to node $m$ and its three outgoing arcs respectively labelled by intervals $[1,2]$, $[3,3]$ and $[4,4]$.

2. For each class of consecutive machines found previously, we label in increasing order each timepoint that is not part of an unavailability period. We create an arc from the corresponding node $\mathrm{𝑣𝑠}$ for each maximum interval of available timepoints to a new node labelled by $\mathrm{𝑟𝑠}$. In Part (A) this translate to:

   • For the class corresponding to machines 1 and 2 we create three outgoing arcs labelled by the time intervals $[1,1]$, $[2,4]$ and $[5,6]$.

   • For the class corresponding to machine 3 we create the outgoing arc labelled by time interval $[1,9]$.

   • For the class corresponding to machine 4 we create the two outgoing arcs labelled by the time intervals $[1,2]$ and $[3,7]$.

3. For each class of consecutive machines and for each maximum interval $[i,j]$ of available timepoints previously computed, we find out the number of unavailable timepoints $b_i$ on the same class of machines that are located before the virtual date $i$. We create an outgoing arc from the corresponding node $\mathrm{𝑟𝑠}$ to a new node labelled by $\mathrm{true}$ (there is a single $\mathrm{true}$ node for the full directed acyclic graph). This arc is labelled by the interval $[i+b_i,j+b_i]$ and by the linear constraint $r_s=v_s+b_i$. In Part (A) this translate to:

   • For the class corresponding to machines 1 and 2 and for each $r_s$ node associated with the time intervals $[1,1]$, $[2,4]$ and $[5,6]$ we respectively create an outgoing arc labelled by intervals $[1,1]$, $[3,5]$ and $[8,9]$. To each of these arcs we also respectively associate the linear constraints $r_s=v_s+0$ ($+0$ since on machines 1 and 2 there is no unavailability period before the virtual date 1), $r_s=v_s+1$ ($+1$ since on machines 1 and 2 there is a single unavailable timepoint before the virtual date 2) and $r_s=v_s+3$ ($+3$ since on machines 1 and 2 there is three unavailable timepoints before the virtual date 5).

   • For the class corresponding to machine 3 and for the $r_s$ node associated with the time interval $[1,9]$ we create the outgoing arc labelled by time interval $[1,9]$ and by $r_s=v_s+0$ (i.e., since their is no unavailability period at all on machine 3).

   • For the class corresponding to machine 4 and for each $r_s$ node associated with the time intervals $[1,2]$ and $[3,7]$ we respectively create an outgoing arc labelled by $[1,2]$ and $[5,9]$. To each of these arcs we also respectively associate the linear constraints $r_s=v_s+0$ ($+0$ since on machine 4 there is no unavailability period before the virtual date 1) and $r_s=v_s+2$ ($+2$ since on machine 4 there is two unavailable timepoints before the virtual date 3).

Figure 5.57.2. The two generalised $\mathrm{𝚌𝚊𝚜𝚎}$ constraints for respectively mapping (A) the virtual start and real start of a task corresponding to the Example slot as well as (B) the virtual end and real end; the directed acyclic graphs were generated under the hypothesis that the virtual and real dates are located in $[1,9]$.

The $\mathrm{𝚌𝚊𝚕𝚎𝚗𝚍𝚊𝚛}$ constraint can also be reformulated into a conjunction of reified constraints. This is done by generating, for each pair of items $(ℐ,ℳ)$ of the $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$ and $\mathrm{𝙼𝙰𝙲𝙷𝙸𝙽𝙴𝚂}$ collections, a set of reified constraints expressing:

• The link between the real and the virtual dates under the hypothesis that the $\mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}$ attribute of item $ℐ$ is assigned to the value of the $\mathrm{𝚒𝚍}$ attribute of item $ℳ$. More precisely, we generate one reified constraint for each available time interval on machine $\mathrm{𝚒𝚍}$.

• The fact that a real date should not be located within an unavailability period of its corresponding machine.

Operationally, this leads to the following cases:

1. When machine $\mathrm{𝚒𝚍}$ has no unavailability at all we state an equality constraint between the real and virtual dates.

2. When the real date is located before the first unavailability period we also state an equality constraint between the real and virtual dates.

3. When the real date is located between two consecutive unavailability periods we state:

   • An equality constraint between the real date and the virtual date plus the sum of all unavailabilities located before the real date.

   • An implication between the fact that the real date belongs to the first unavailability period (among the two consecutive unavailability periods) and the fact that the real date is not assigned to the machine that contains the unavailability period.

4. When the real date is located after the last unavailability period we state:

   • An equality constraint between the real date and the virtual date plus the sum of all unavailabilities.

   • An implication between the fact that the real date belongs to the last unavailability period and the fact that the real date is not assigned to the machine that contains the unavailability period.

As an example consider again consider the instance given in the Example slot. For the start of task a (i.e., the first item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-1\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-2\mathrm{𝚒𝚛𝚎𝚊𝚕}-2\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-0\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints, where equivalences of the form $\mathrm{true}\iff \mathrm{true}$ are shown in bold:

• (if task a is assigned on machine 1)

  $☆$ before $[2,2]$:             $1=1\wedge 3<2\iff 1=1\wedge 3=2$

  $☆$ between $[2,2]$ and $[6,7]$:  $\mathbf{1}=\mathbf{1}\wedge \mathbf{3}>\mathbf{2}\wedge \mathbf{3}<\mathbf{6}\iff \mathbf{1}=\mathbf{1}\wedge \mathbf{3}=\mathbf{2}+\mathbf{1}$

  $☆$ after $[6,7]$:               $1=1\wedge 3>7\iff 1=1\wedge 3=2+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $3\in [2,2]\Rightarrow 1\ne 1$, $3\in [6,7]\iff 1\ne 1$

• (if task a is assigned on machine 2)

  $☆$ before $[2,2]$:             $1=2\wedge 3<2\iff 1=2\wedge 3=2$

  $☆$ between $[2,2]$ and $[6,7]$:  $1=2\wedge 3>2\wedge 3<6\iff 1=2\wedge 3=2+1$

  $☆$ after $[6,7]$:               $1=2\wedge 3>7\iff 1=2\wedge 3=2+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $3\in [2,2]\Rightarrow 1\ne 2$, $3\in [6,7]\iff 1\ne 2$

• (if task a is assigned on machine 3)

  $☆$ no unavailability:         $1=3\iff 1=3\wedge 3=2$

• (if task a is assigned on machine 4)

  $☆$ before $[3,4]$:             $1=4\wedge 3<3\iff 1=4\wedge 3=2$

  $☆$ after $[3,4]$:               $1=4\wedge 3>4\iff 1=4\wedge 3=2+2$

  $☆$ do not cross $[3,4]$:        $3\in [3,4]\Rightarrow 1\ne 4$

For the end of task a (i.e., the second item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-1\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-5\mathrm{𝚒𝚛𝚎𝚊𝚕}-6\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-1\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints:

• (if task a is assigned on machine 1)

  $☆$ before $[2,2]$:             $1=1\wedge 6<3\iff 1=1\wedge 6=5$

  $☆$ between $[2,2]$ and $[6,7]$:  $\mathbf{1}=\mathbf{1}\wedge \mathbf{6}>\mathbf{3}\wedge \mathbf{6}<\mathbf{7}\iff \mathbf{1}=\mathbf{1}\wedge \mathbf{6}=\mathbf{5}+\mathbf{1}$

  $☆$ after $[6,7]$:               $1=1\wedge 6>8\iff 1=1\wedge 6=5+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $6\in [3,3]\Rightarrow 1\ne 1$, $6\in [7,8]\Rightarrow 1\ne 1$

• (if task a is assigned on machine 2)

  $☆$ before $[2,2]$:             $1=2\wedge 6<3\iff 1=2\wedge 6=5$

  $☆$ between $[2,2]$ and $[6,7]$:  $1=2\wedge 6>3\wedge 6<7\iff 1=2\wedge 6=5+1$

  $☆$ after $[6,7]$:               $1=2\wedge 6>8\iff 1=2\wedge 6=5+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $6\in [3,3]\Rightarrow 1\ne 2$, $6\in [7,8]\Rightarrow 1\ne 2$

• (if task a is assigned on machine 3)

  $☆$ no unavailability:         $1=3\iff 1=3\wedge 6=5$

• (if task a is assigned on machine 4)

  $☆$ before $[3,4]$:             $1=4\wedge 6<4\iff 1=4\wedge 6=5$

  $☆$ after $[3,4]$:               $1=4\wedge 6>5\iff 1=4\wedge 6=5+2$

  $☆$ do not cross $[3,4]$:        $6\in [4,5]\Rightarrow 1\ne 4$

For the start of task b (i.e., the third item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-2\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-4\mathrm{𝚒𝚛𝚎𝚊𝚕}-5\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-0\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints:

• (if task b is assigned on machine 1)

  $☆$ before $[2,2]$:             $2=1\wedge 5<2\iff 2=1\wedge 5=4$

  $☆$ between $[2,2]$ and $[6,7]$:  $2=1\wedge 5>2\wedge 5<6\iff 2=1\wedge 5=4+1$

  $☆$ after $[6,7]$:               $2=1\wedge 5>7\iff 2=1\wedge 5=4+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $5\in [2,2]\Rightarrow 2\ne 1$, $5\in [6,7]\Rightarrow 2\ne 1$

• (if task b is assigned on machine 2)

  $☆$ before $[2,2]$:             $2=2\wedge 5<2\iff 2=2\wedge 5=4$

  $☆$ between $[2,2]$ and $[6,7]$:  $\mathbf{2}=\mathbf{2}\wedge \mathbf{5}>\mathbf{2}\wedge \mathbf{5}<\mathbf{6}\iff \mathbf{2}=\mathbf{2}\wedge \mathbf{5}=\mathbf{4}+\mathbf{1}$

  $☆$ after $[6,7]$:               $2=2\wedge 5>7\iff 2=2\wedge 5=4+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $5\in [2,2]\Rightarrow 2\ne 2$, $5\in [6,7]\Rightarrow 2\ne 2$

• (if task b is assigned on machine 3)

  $☆$ no unavailability:         $2=3\iff 2=3\wedge 5=4$

• (if task b is assigned on machine 4)

  $☆$ before $[3,4]$:             $2=4\wedge 5<3\iff 2=4\wedge 5=4$

  $☆$ after $[3,4]$:               $2=4\wedge 5>4\iff 2=4\wedge 5=4+2$

  $☆$ do not cross $[3,4]$:        $5\in [3,4]\Rightarrow 2\ne 4$

For the end of task b (i.e., the fourth item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-2\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-6\mathrm{𝚒𝚛𝚎𝚊𝚕}-9\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-1\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints:

• (if task b is assigned on machine 1)

  $☆$ before $[2,2]$:             $2=1\wedge 9<3\iff 2=1\wedge 9=6$

  $☆$ between $[2,2]$ and $[6,7]$:  $2=1\wedge 9>3\wedge 9<7\iff 2=1\wedge 9=6+1$

  $☆$ after $[6,7]$:               $2=1\wedge 9>8\iff 2=1\wedge 9=6+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $9\in [3,3]\Rightarrow 2\ne 1$, $9\in [7,8]\Rightarrow 2\ne 1$

• (if task b is assigned on machine 2)

  $☆$ before $[2,2]$:             $2=2\wedge 9<3\iff 2=2\wedge 9=6$

  $☆$ between $[2,2]$ and $[6,7]$:  $2=2\wedge 9>3\wedge 9<7\iff 2=2\wedge 9=6+1$

  $☆$ after $[6,7]$:              $\mathbf{2}=\mathbf{2}\wedge \mathbf{9}>\mathbf{8}\iff \mathbf{2}=\mathbf{2}\wedge \mathbf{9}=\mathbf{6}+\mathbf{3}$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $9\in [3,3]\Rightarrow 2\ne 2$, $9\in [7,8]\Rightarrow 2\ne 2$

• (if task b is assigned on machine 3)

  $☆$ no unavailability:         $2=3\iff 2=3\wedge 9=6$

• (if task b is assigned on machine 4)

  $☆$ before $[3,4]$:             $2=4\wedge 9<4\iff 2=4\wedge 9=6$

  $☆$ after $[3,4]$:               $2=4\wedge 9>5\iff 2=4\wedge 9=6+2$

  $☆$ do not cross $[3,4]$:        $9\in [4,5]\Rightarrow 2\ne 4$

For the start of task c (i.e., the fifth item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-3\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-2\mathrm{𝚒𝚛𝚎𝚊𝚕}-2\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-0\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints:

• (if task c is assigned on machine 1)

  $☆$ before $[2,2]$:             $3=1\wedge 2<2\iff 3=1\wedge 2=2$

  $☆$ between $[2,2]$ and $[6,7]$:  $3=1\wedge 2>2\wedge 2<6\iff 3=1\wedge 2=2+1$

  $☆$ after $[6,7]$:               $3=1\wedge 2>7\iff 3=1\wedge 2=2+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $2\in [2,2]\Rightarrow 3\ne 1$, $2\in [6,7]\Rightarrow 3\ne 1$

• (if task c is assigned on machine 2)

  $☆$ before $[2,2]$:             $3=2\wedge 2<2\iff 3=2\wedge 2=2$

  $☆$ between $[2,2]$ and $[6,7]$:  $3=2\wedge 2>2\wedge 2<6\iff 3=2\wedge 2=2+1$

  $☆$ after $[6,7]$:               $3=2\wedge 2>7\iff 3=2\wedge 2=2+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $2\in [2,2]\Rightarrow 3\ne 2$, $2\in [6,7]\Rightarrow 3\ne 2$

• (if task c is assigned on machine 3)

  $☆$ no unavailability:         $\mathbf{3}=\mathbf{3}\iff \mathbf{3}=\mathbf{3}\wedge \mathbf{2}=\mathbf{2}$

• (if task c is assigned on machine 4)

  $☆$ before $[3,4]$:             $3=4\wedge 2<3\iff 3=4\wedge 2=2$

  $☆$ after $[3,4]$:               $3=4\wedge 2>4\iff 3=4\wedge 2=2+2$

  $☆$ do not cross $[3,4]$:        $2\in [3,4]\Rightarrow 3\ne 4$

For the end of task c (i.e., the sixth item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-3\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-5\mathrm{𝚒𝚛𝚎𝚊𝚕}-5\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-1\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints:

• (if task c is assigned on machine 1)

  $☆$ before $[2,2]$:             $3=1\wedge 5<3\iff 3=1\wedge 5=5$

  $☆$ between $[2,2]$ and $[6,7]$:  $3=1\wedge 5>3\wedge 5<7\iff 3=1\wedge 5=5+1$

  $☆$ after $[6,7]$:               $3=1\wedge 5>8\iff 3=1\wedge 5=5+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $5\in [3..3]\Rightarrow 3\ne 1$, $5\in [7..8]\Rightarrow 3\ne 1$

• (if task c is assigned on machine 2)

  $☆$ before $[2,2]$:             $3=2\wedge 5<3\iff 3=2\wedge 5=5$

  $☆$ between $[2,2]$ and $[6,7]$:  $3=2\wedge 5>3\wedge 5<7\iff 3=2\wedge 5=5+1$

  $☆$ after $[6,7]$:               $3=2\wedge 5>8\iff 3=2\wedge 5=5+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $5\in [3..3]\Rightarrow 3\ne 2$, $5\in [7..8]\Rightarrow 3\ne 2$

• (if task c is assigned on machine 3)

  $☆$ no unavailability:         $\mathbf{3}=\mathbf{3}\iff \mathbf{3}=\mathbf{3}\wedge \mathbf{5}=\mathbf{5}$

• (if task c is assigned on machine 4)

  $☆$ before $[3,4]$:             $3=4\wedge 5<4\iff 3=4\wedge 5=5$

  $☆$ after $[3,4]$:               $3=4\wedge 5>5\iff 3=4\wedge 5=5+2$

  $☆$ do not cross $[3,4]$:        $5\in [4..5]\Rightarrow 3\ne 4$

For the start of task d (i.e., the seventh item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-4\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-2\mathrm{𝚒𝚛𝚎𝚊𝚕}-2\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-0\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints:

• (if task d is assigned on machine 1)

  $☆$ before $[2,2]$:             $4=1\wedge 2<2\iff 4=1\wedge 2=2$

  $☆$ between $[2,2]$ and $[6,7]$:  $4=1\wedge 2>2\wedge 2<6\iff 4=1\wedge 2=2+1$

  $☆$ after $[6,7]$:               $4=1\wedge 2>7\iff 4=1\wedge 2=2+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $2\in [2,2]\Rightarrow 4\ne 1$, $2\in [6,7]\Rightarrow 4\ne 1$

• (if task d is assigned on machine 2)

  $☆$ before $[2,2]$:             $4=2\wedge 2<2\iff 4=2\wedge 2=2$

  $☆$ between $[2,2]$ and $[6,7]$:  $4=2\wedge 2>2\wedge 2<6\iff 4=2\wedge 2=2+1$

  $☆$ after $[6,7]$:               $4=2\wedge 2>7\iff 4=2\wedge 2=2+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $2\in [2,2]\Rightarrow 4\ne 2$, $2\in [6,7]\Rightarrow 4\ne 2$

• (if task d is assigned on machine 3)

  $☆$ no unavailability:         $4=3\iff 4=3\wedge 2=2$

• (if task d assigned on machine 4)

  $☆$ before $[3,4]$:             $\mathbf{4}=\mathbf{4}\wedge \mathbf{2}<\mathbf{3}\iff \mathbf{4}=\mathbf{4}\wedge \mathbf{2}=\mathbf{2}$

  $☆$ after $[3,4]$:               $4=4\wedge 2>4\iff 4=4\wedge 2=2+2$

  $☆$ do not cross $[3,4]$:        $2\in [3,4]\Rightarrow 4\ne 4$

For the end of task d (i.e., the eighth item $\langle \mathrm{𝚖𝚊𝚌𝚑𝚒𝚗𝚎}-4\mathrm{𝚟𝚒𝚛𝚝𝚞𝚊𝚕}-7\mathrm{𝚒𝚛𝚎𝚊𝚕}-9\mathrm{𝚏𝚕𝚊𝚐𝚎𝚗𝚍}-1\rangle$ of collection $\mathrm{𝙸𝙽𝚂𝚃𝙰𝙽𝚃𝚂}$), we generate the following reified constraints:

• (if task d is assigned on machine 1)

  $☆$ before $[2,2]$:             $4=1\wedge 9<3\iff 4=1\wedge 9=7$

  $☆$ between $[2,2]$ and $[6,7]$:  $4=1\wedge 9>3\wedge 9<7\iff 4=1\wedge 9=7+1$

  $☆$ after $[6,7]$:               $4=1\wedge 9>8\iff 4=1\wedge 9=7+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $9\in [3,3]\Rightarrow 4\ne 1$, $9\in [7,8]\Rightarrow 4\ne 1$

• (if task d is assigned on machine 2)

  $☆$ before $[2,2]$:             $4=2\wedge 9<3\iff 4=2\wedge 9=7$

  $☆$ between $[2,2]$ and $[6,7]$:  $4=2\wedge 9>3\wedge 9<7\iff 4=2\wedge 9=7+1$

  $☆$ after $[6,7]$:               $4=2\wedge 9>8\iff 4=2\wedge 9=7+3$

  $☆$ do not cross $[2,2]$, $[6,7]$:  $9\in [3,3]\Rightarrow 4\ne 2$, $9\in [7,8]\Rightarrow 4\ne 2$

• (if task d is assigned on machine 3)

  $☆$ no unavailability:         $4=3\iff 4=3\wedge 9=7$

• (if task d is assigned on machine 4)

  $☆$ before $[3,4]$:             $4=4\wedge 9<4\iff 4=4\wedge 9=7$

  $☆$ after $[3,4]$:               $\mathbf{4}=\mathbf{4}\wedge \mathbf{9}>\mathbf{5}\iff \mathbf{4}=\mathbf{4}\wedge \mathbf{9}=\mathbf{7}+\mathbf{2}$

  $☆$ do not cross $[3,4]$:        $9\in [4,5]\Rightarrow 4\ne 4$

common keyword: $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎}$ (scheduling constraint), $\mathrm{𝚌𝚞𝚖𝚞𝚕𝚊𝚝𝚒𝚟𝚎𝚜}$ (scheduling with machine choice, calendars and preemption), $\mathrm{𝚍𝚒𝚏𝚏𝚗}$ (multi-site employee scheduling with calendar constraints,

scheduling with machine choice, calendars and preemption), $\mathrm{𝚍𝚒𝚜𝚓𝚞𝚗𝚌𝚝𝚒𝚟𝚎}$ (scheduling constraint),

$\mathrm{𝚐𝚎𝚘𝚜𝚝}$ (multi-site employee scheduling with calendar constraints,

scheduling with machine choice, calendars and preemption).

constraint type: predefined constraint, temporal constraint, scheduling constraint.

modelling: channelling constraint, multi-site employee scheduling with calendar constraints, scheduling with machine choice, calendars and preemption, assignment dimension.

modelling exercises: multi-site employee scheduling with calendar constraints, scheduling with machine choice, calendars and preemption.