Représentant les opérations XOR enchaînées comme des inégalités linéaires

Question

J'essaie de résoudre un programme linéaire entier (ILP) dans lequel une contrainte du type suivant doit être remplie:

$ x_1 oplus x_2 oplus cdots oplus x_n = 1 $

où $ oplus $ est le binaire xor opérateur.

La réponse à cette La question montre comment représenter $ y = x_1 oplus x_2 $ avec des inégalités linéaires. Dans une réponse à cette Question Il y a une tentative de généraliser la représentation à plus de deux intrants, mais les deux réponses semblent être incohérentes, car ce dernier n'utilise même pas d'inégalités.

Donc, la question est: comment puis-je représenter $ y = x_1 oplus x_2 oplus cdots oplus x_n $ Comme un ensemble d'inégalités linéaires?