Logique de plusieurs variables en ILP

Question

Existe-t-il une meilleure façon de représenter un et de $ n $ variables ensemble autre que la création $ O (n) $ Nouvelles variables et contraintes?