Representación binaria de variables enteras en general (II)

Por ejemplo, supóngase que un problema de PE tiene sólo dos variables enteras generales, x1 y x2 y muchas variables binarias, y que las restricciones funcionales incluyen