Исследование эффектов потери полноты нехронологического алгоритма DPLL при решении трудных экземпляров задачи о булевой выполнимости : ВКР бакалавра : направление 01.03.02 "Прикладная математика и информатика" : профиль "Математическое и компьютерное моде

Только для организаций
Автор: 
Кондратьев В. С. ; Семенов А. А. (рук.)
Год: 
2017
Относится к ВУЗу(ам): 
Иркутский государственный университет
Каталоги: 
Выпускные квалификационные работы (ВКР)
Шифр специальности:
01.03.02
Факультет:
Институт математики, экономики и информатики
Кафедра:
Кафедра теории вероятностей и дискретной математики