### 3.7.204. SAT

A constraint for which a reference provides a reformulation in SAT. Encoding for the $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$ and the $\mathrm{𝚊𝚖𝚘𝚗𝚐}$ constraints were respectively provided in [GentNightingale04] and in [Bacchus07]. Based on Fekete et al. model of the multi -dimensional orthogonal packing problem [FeketeSchepersVeen07], an encoding for the $\mathrm{𝚍𝚒𝚏𝚏𝚗}$ constraint when all the sizes of all the orthotopes are fixed was described in