Slide 1 Slide 2 Non-binary constraints Dual & Hidden Variable Encodings REFORMULATION Slide 3 From non-binary to binary REFORMULATION Slide 4 Binary decomposable constraints…