Using redundancy to strengthen the relaxation for the global optimization of MINLP problems

In this paper we present a strategy to improve the relaxation for the global optimization of non-convex MINLPs. The main idea consists in recognizing that each constraint or set of constraints has a meaning that comes from the physical interpretation of the problem. When these constraints are relaxed part of this meaning is lost. Adding redundant constraints that recover that physical meaning strengthens the relaxation. We propose a methodology to find such redundant constraints based on engineering knowledge and physical insight.