Originally posted by: VKV7_Anulark_Naber

Hi everyone,

I found this explanation in the CPLEX user's manual under Advanced programming techniques>User-cut and lazy-constraint pools>Differences between user cuts and lazy constraints:

"Cuts that are based on optimality and that remove integer feasible solutions without removing all optimal solutions are known as optimality-based cuts. Optimality-based cuts do not fit the definition of either a user cut nor a lazy constraint. For example, symmetry-breaking constraints are sometimes known as optimality-based cuts because symmetry-breaking constraints can remove integer feasible solutions without removing all optimal solutions. Symmetry-breaking constraints are not user cuts in the sense addressed here. Symmetry-breaking constraints are not necessarily lazy constraints either...."

I do understand the meaning of the optimality-based cuts, but wonder if this is the standard term widely used in OR. If so, which reference/article should I use for the original definition when referring to the term "optimality-based cuts"?

Thanks in advance.