|
Ар15-702
Соколов, Д. О. Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06, 01.01.09 / Д. О. Соколов. - СПб., 2014. - 17 с. - Библиогр.: с. 16-17 (6 назв.). - 100 экз.
Кл.слова (ненормированные): теория сложности -- рекурсивные алгоритмы -- функция голдрейха
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
|
|