Автоматическая генерация дерева поиска: различия между версиями

Автоматическая генерация дерева поиска (посмотреть исходный код)

105 байт добавлено , 22 ноябрь

1294

правки

Версия от 18:12, 21 ноября 2024 (просмотреть исходный код) KVN (обсуждение \| вклад) (→‎Постановка задачи) Метка: правка через визуальный редактор ← Предыдущая правка		Текущая версия от 10:33, 22 ноября 2024 (просмотреть исходный код) KVN (обсуждение \| вклад) (→‎Литература)
Строка 74:		Строка 74:

	6. Skjernaa, B.: Exact Algorithms for Variants of Satisfiability and Colouring Problems. Ph. D. thesis, University of Aarhus, Department of Computer Science (2004)		6. Skjernaa, B.: Exact Algorithms for Variants of Satisfiability and Colouring Problems. Ph. D. thesis, University of Aarhus, Department of Computer Science (2004)

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