将非线性约束估计为与 MIQP 问题兼容的线性约束

Question

我是优化新手，目前正在编写具有线性约束的混合整数二次规划问题。但是，我遇到了非线性约束（两个或多个不同的变量相乘），我想将其建模为线性约束。 Mccormick Envelope 是一种已经使用过的技术，但我认为它只能用于 LP 问题而不是 QP。 （如果我不正确，请告诉我）

我想知道是否有一种方法可以将非线性约束转换为线性约束，同时兼容 MIQP 问题。