Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
сводимость
сводимость полиномиальная
Документи:
Листровой, С. В.
Метод решения k-SAT-задачи сведением ее к задаче о покрытии [Текст] / С. В. Листровой, А. В. Сидоренко // Электронное моделирование. – 2015. – Т. 37, № 5. – С. 17-34.
Трофимчук, А. Н.
О сложности одной задачи оптимизации упаковок [Текст] / А. Н. Трофимчук, В. А. Васянин, В. Н. Кузьменко // Кибернетика и системный анализ. – 2016. – Т. 52, № 1. – С. 83-92.
Інформаційно-пошукова система
'УФД/Бібліотека'