我的数据集包含大型SAT实例。我试图找出SCIP的默认设置如何选择要使用的分支规则。
我有一个数据集，其中包含7295个变量和409834个约束。在设置了8h的时间限制后，使用默认设置并将统计信息写入文件中，我看到SCIP调用了inference分支。
但是，当我使用1040个变量和3668个约束的较小数据集再次尝试此操作时，SCIPrelpscost改为调用分支。
SCIP用于选择分支规则的标准是否有一些文档或代码？我目前无法找到它（如果存在）。
分支规则的文档中对此进行了详细说明，因此，我将在此处发布链接（节优先级）：
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句