> none of which can be safely ignored Or more accurately speaking, they can be ignored but at some expense of accuracy. (You can always approximate every varia

> none of which can be safely ignored Or more accurately speaking, they can be ignored but at some expense of accuracy. (You can always approximate every variable with a (-inf, +inf) interval!) There are several working ways to "compress" affine variables when they get too many. Probably a worse problem with AA is that every multiplication introduces a new variable, so it can be very frequent to head into the maximum number of variables set for the reasonable performance...