Coming soon — статья готовится. Ниже — её вопрос, результат и место в общей истории.
Вопрос статьи
Как отсечь ветвь поиска по доказанной границе результата?
Что разберём
Отсечь ветвь поиска по доказанной границе результата.
Что нужно знать заранее
Предварительно разобраны: Формализация задачи через ограничения.