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

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

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

1294

правки

Версия от 11:03, 13 апреля 2018 (просмотреть исходный код) Irina (обсуждение \| вклад) м (→‎Основные результаты) ← Предыдущая правка		Текущая версия от 11:05, 7 декабря 2024 (просмотреть исходный код) KVN (обсуждение \| вклад) (→‎Литература)
Строка 73:		Строка 73:

	11. Schöning, U.: A probabilistic algorithm for k-SAT and constraint satisfaction problems. Proceedings 40th Annual Symposium on Foundations of Computer Science, pp. 410–414. New York, USA (1999)		11. Schöning, U.: A probabilistic algorithm for k-SAT and constraint satisfaction problems. Proceedings 40th Annual Symposium on Foundations of Computer Science, pp. 410–414. New York, USA (1999)

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