When developing MILPs, often there are different alternatives possible to express a constraint. The question then arises, which of the alternatives is better, meaning, which alternative is expected to perform better during the solution process.
Is the scientific community able to provide a guide for addressing the strength of a MILP formulation? Something like "disciplined convex programming" but for strong MILPs, lets call it "disciplined MILP programming"?
Does, possibly, such a guide already exist?