Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
складність, сложность
сложность субэкспоненциальная
Документи:
Листовой, С. В.
Метод решения SAT-задачи [Текст] / С. В. Листовой, А. А. Пархоменко // Электронное моделирование. – 2012. – Т. 34, № 3. – С. 37-46.
Інформаційно-пошукова система
'УФД/Бібліотека'