Вершина переборных алгоритмов.

[thesz]

Вершиной переборных алгоритмов я считаю решение проблемы выполнимости булевой формулы.

Ибо переборный алгоритм по сути своей доказательство теоремы.

Вот здесь находится краткое описание, как работают современные системы

Comments

[zelych]

Только это не отменят того, что какой-то специализированный алгоритм перебора может быть более эффективным/простым/предсказуемым по сравнению с SAT.
Собственно, Satisfiability Modulo Theory как пример.

[thesz]

Согласен. Но про SAT знать обязательно.