Алгоритмы локального поиска для k-КНФ: различия между версиями

Перейти к навигации Перейти к поиску
Новая страница: «== Постановка задачи == Задача выполнимости КНФ выглядит следующим образом. Для данной фо…»
(Новая страница: «== Постановка задачи == Задача выполнимости КНФ выглядит следующим образом. Для данной фо…»)
(нет различий)
4446

правок

Навигация