Распространение обратного метода на аксиоматические теории с равенством
Распространение обратного метода на исчисление с равенством
Реализация алгоритма построения оптимального расписания с началом в заданном интервале
Решение двух задач упорядочения работ
Решение некоторых задач параллельного упорядочивания
Решение систем полиномиальных неравенств над вещественно замкнутыми полями в субэкспоненциальное время
Решетки процессов в графах
Роль детерминизма в языках запросов для баз данных.
Сводимость различных видов контактных схем к схемам из функциональных элементов
Связь между тактиками обратного метода и метода резолюций
Синтаксические полугруппы избегаемых языков
Синтез метода резолюций с обратным методом
Синтез управляемых генераторов случайных кодов в классе асинхронных вероятностных автоматов
Сложностные вопросы теории чисел
Сложность аддитивных вычислений семейств целочисленных линейных форм
Сложность вентильных схем, получаемых с помощью градиентного алгоритма
Сложность и асимптотически оптимальные алгоритмы моделирования абсолютно непрерывных распределений
Сложность разрешения теории первого порядка вещественно замкнутых полей
Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений
Сложность распознавания симметрии на многоленточных машинах Тьюринга