1. DSpace at Saint Petersburg State University

Поиск


Текущие фильтры:
Начать новый поиск
Добавить фильтры:

Используйте фильтры для уточнения результатов поиска.

 | 
Результаты 1-6 из 6.
  • назад
  • 1
  • дальше
Найденные ресурсы:
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2020On proof systems based on binary decision diagramsСмирнов Петр Юрьевич; Smirnov Petr Urevic
2020Algebraic and semi-algebraic proof systems using algebraic circuitsАлексеев Ярослав Юрьевич; Alekseev Aroslav Urevic
2021Lower bounds for branching programs with bounded repetitions on search problemsСофронова Анастасия Александровна; Sofronova Anastasia Aleksandrovna
2021Simulations between proof systemsГаевой Никита Сергеевич; Gaevoj Nikita Sergeevic
2022Lower bounds for algebraic proof systemsАлексеев Ярослав Юрьевич; Alekseev Aroslav Urevic
2023Proof complexity lower bounds of combinatorial principlesОвчаров Сергей Дмитриевич; Ovcarov Sergej Dmitrievic

Просмотр