【发布时间】：2020-03-30 09:33:25
【问题描述】：
我的数据集由大型 SAT 实例组成。我正在尝试找出 SCIP 的默认设置如何选择要使用的分支规则。
我有一个数据集，其中包含 7295 个变量和 409834 个约束。将时间限制设置为 8 小时后，使用默认设置并将统计信息写入文件，我看到 SCIP 调用了inference 分支。
但是，当我使用包含 1040 个变量和 3668 个约束的较小数据集再次尝试此操作时，SCIP 改为调用 relpscost 分支。
是否有一些文档或代码说明 SCIP 使用什么标准来选择分支规则？如果存在，我目前无法找到它。
【问题讨论】：
-
如果您对您的问题感到满意，我还请您接受有关您的问题的答案
标签： mathematical-optimization scip sat