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

K-КНФ-алгоритмы на основе поиска с возвратом (посмотреть исходный код)

105 байт добавлено , 7 декабря 2024

1294

правки

Версия от 04:32, 6 апреля 2018 (просмотреть исходный код) Irina (обсуждение \| вклад) м (→‎Постановка задачи) ← Предыдущая правка		Текущая версия от 04:06, 7 декабря 2024 (просмотреть исходный код) KVN (обсуждение \| вклад) (→‎Литература)
Строка 187:		Строка 187:

	12. Schoning, U.: A probabilistic algorithm fork-SAT based on limited local search and restart. Algorithmica 32, 615-623 (2002) (более ранняя версия публиковалась в источнике "40th Annual Symposium on Foundations of Computer Science (FOCS '99), pp. 410-414")		12. Schoning, U.: A probabilistic algorithm fork-SAT based on limited local search and restart. Algorithmica 32, 615-623 (2002) (более ранняя версия публиковалась в источнике "40th Annual Symposium on Foundations of Computer Science (FOCS '99), pp. 410-414")

			[[Категория: Совместное определение связанных терминов]]