RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

Поиск публикаций
Поиск ссылок

RSS
Текущие выпуски
Архивные выпуски
Что такое RSS






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Journal of the ACM, 2016, том 63, выпуск 2, 016 (Mi jacm1)  

A new kind of tradeoffs in propositional proof complexity

Alexander Razborovabc

a University of Chicago, Departments of Mathematics and Computer Science, 1100 East 58St., Chicago IL, 60637 USA
b Steklov Mathematical Institute, Moscow, Russia
c Toyota Technological Institute, Chicago, USA

Финансовая поддержка Номер гранта
Российский научный фонд 14-50-00005
This work is supported by the Russian Science Foundation, grant # 14-50-00005.


DOI: https://doi.org/10.1145/2858790


Реферативные базы данных:

Тип публикации: Статья
Поступила в редакцию: 01.04.2015
Исправленный вариант: 01.12.2015
Язык публикации: английский

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/jacm1

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:46

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018