Описание тега sat-solvers

Решатели SAT - это класс алгоритмов для решения проблемы выполнимости булевых формул.

SAT был первым известным примером NP-полной проблемы. С тех пор ведется много исследований относительно того, как эффективно решать достаточно большое подмножество экземпляров SAT, чтобы их можно было использовать в различных практических областях.

Ссылки:

• Вики