Меню
Главная
Случайная статья
Настройки
|
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.
Сценарии использования
Мне непонятно, для чего этот алгоритм нужен.
Ну решает он задачу SAT, я даже, наверное, смогу его запрограммировать, и будет он мне для булевой формулы подбирать какие-то значения переменных, при которых формула станет истинной. И что? Неясно, как это всё связывается с доказательствами корректности, или с доказательствами теорем. Safaesr (обс.) 17:07, 25 апреля 2024 (UTC)[ответить]
|
|