Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)
сборник
Год издания:
2017
Том:
66
Добавил в систему:
Верещагин Николай Константинович
Статьи, опубликованные в сборнике
2017
On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables
Itsykson D.
,
Knop A.
,
Romashchenko A.
,
Sokolov D.
в сборнике
34th Symposium on Theoretical Aspects of Computer Science (STACS 2017)
, том 66, с. 43:1-43:14
DOI