Мои наборы данных состоят из больших экземпляров SAT. Я пытаюсь выяснить, как настройки SCIP по умолчанию выбирают правило ветвления для использования.
У меня есть набор данных, который состоит из 7295 переменных и ограничений 409834. После установки ограничения времени на 8 часов, использования настроек по умолчанию и записи статистики в файл, я вижу, что SCIP вызвал inference ветвление.
Однако, когда я попробовал это снова с меньшим набором данных 1040 переменные и ограничения 3668, вместо этого SCIP называл relpscost ветвлением.
Есть ли какая-либо документация или код, по которому критерий SCIP используется для выбора правила ветвления? В настоящее время я не могу найти его, если он существует.