3.7.114. Heuristics and lexicographical ordering

Using a constraint that imposes a lexicographical ordering between vectors of variables may influence the heuristics used for fixing the variables. In particular it may be a very bad idea to systematically fix the less significant components before the most significant components.