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