The linearization technique of Glover, which seems to be the most efficient one appearing in the literature, requires the addition of n new continuous variables (unconstrained in sign) and 4n new linear constraints to equivalently represent a 0-1 "quadratic" integer problem with n variables....