4446
правок
Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида: различия между версиями
Перейти к навигации
Перейти к поиску
Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида (посмотреть исходный код)
Версия от 15:15, 18 июня 2020
, 18 июня 2020Новая страница: «== Ключевые слова и синонимы == Задача выполнимости булевых формул (SAT) == Постановка задач…»
Irina (обсуждение | вклад) (Новая страница: «== Ключевые слова и синонимы == Задача выполнимости булевых формул (SAT) == Постановка задач…») |
(нет различий)
|