【发布时间】：2022-07-11 09:48:52
【问题描述】：
我应用 CP-SAT sovler 解决了一个 MIQP 问题，它成功地找到了一个 optimat 结果。我是否需要进一步考虑问题的松弛方法？ CP-SAT sovler 是否支持放松？
-
这是一个非常好的问题，继续努力！
标签： or-tools
【发布时间】：2022-07-11 09:48:52
【问题描述】：
你可以看看CPAIOR 2020 master class on Constraint Programming的第二部分。
是的，求解器使用了很多 MIP 技术（预求解、松弛、切割），包括二次切割。 这些都是线性的，所以没有使用锥体。
【讨论】：