SCIP 如何选择使用哪个分支规则？
How does SCIP choose which branching rule to use?
我的数据集由大型 SAT 实例组成。我正在尝试找出 SCIP 的默认设置 select 如何使用分支规则。
我有一个数据集，其中包含 7295 个变量和 409834 个约束。将时间限制设置为 8 小时后，使用默认设置并将统计信息写入文件，我看到 SCIP 调用了 inference 分支。
然而，当我再次尝试使用包含 1040 个变量和 3668 个约束的较小数据集时，SCIP 改为调用 relpscost 分支。
是否有关于 SCIP 使用什么标准 select 分支规则的一些文档或代码？如果存在，我目前无法找到它。
在分支规则的文档中有详细解释，所以我在这里post一个link（部分优先级）：
我的数据集由大型 SAT 实例组成。我正在尝试找出 SCIP 的默认设置 select 如何使用分支规则。
我有一个数据集，其中包含 7295 个变量和 409834 个约束。将时间限制设置为 8 小时后，使用默认设置并将统计信息写入文件，我看到 SCIP 调用了 inference 分支。
然而，当我再次尝试使用包含 1040 个变量和 3668 个约束的较小数据集时，SCIP 改为调用 relpscost 分支。
是否有关于 SCIP 使用什么标准 select 分支规则的一些文档或代码？如果存在，我目前无法找到它。
在分支规则的文档中有详细解释，所以我在这里post一个link（部分优先级）：