📄️ Envelopes de McCormick
Um método estabelecido para resolver programas bilineares do tipo P é aplicar um tipo de relaxamento convexo para limitar os termos bilineares usando os envelopes de McCormick. Na abordagem padrão, cada termo bilinear $$ xi \cdot xj $$ é substituído por uma nova variável $$ w = xi x_j $$, e um conjunto de quatro restrições de desigualdade linear é adicionado à formulação, duas representando os superestimadores e duas os subestimadores.
📄️ Piecewise McCormick
Uma relaxação MILP mais apertada pode ser construída ao particionar o domínio de uma das variáveis ($xj$) do termo bilinear em \(n\) regiões disjuntas, com novas variáveis binárias sendo adicionadas à formulação para selecionar a partição ótima para $xj$.