Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

SAT-задача

Документи:

Листовой, С. В. Метод решения SAT-задачи [Текст] / С. В. Листовой, А. А. Пархоменко // Электронное моделирование. – 2012. – Т. 34, № 3. – С. 37-46.
Листровой, С. В. Метод решения k-SAT-задачи сведением ее к задаче о покрытии [Текст] / С. В. Листровой, А. В. Сидоренко // Электронное моделирование. – 2015. – Т. 37, № 5. – С. 17-34.