Математика. Диссертация Сложность решения задачи выполнимости булевых формул алгоритмами, основанными на расщеплении : диссертация ... кандидата физико-математических наук : 01.01.06, 01.01.09 / Соколов Дмитрий Олегович; [Место защиты: Мат. ин-т им. В.А. Стеклова РАН], Санкт-Петербург, 2014