Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

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

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


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




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

Записки научных семинаров ПОМИ, 2001, том 277, страницы 14–46 (Mi znsl1427)  
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)

Алгоритмы для пропозициональной выполнимости и верхние оценки их сложности

М. А. Всемирнов, Э. А. Гирш, Е. Я. Данцин, С. В. Иванов

Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН
PDF полного текста (353 kB) Список цитирования (12)
Аннотация: Данная статья представляет собой обзор современных алгоритмов для задачи пропозициональной выполнимости, в частности, алгоритмов, верхние оценки сложности которых являются наилучшими на текущий момент. Также обсуждаются связанные вопросы: дерандомизация алгоритма Патури, Пудлака, Сакса и Зейна, лемма Вэлианта-Вазирани и алгоритмы, основанные на случайных блужданиях с “кнопкой возврата”. Библ. – 47 назв.
Поступило: 15.01.2001
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2003, Volume 118, Issue 2, Pages 4948–4962
DOI: https://doi.org/10.1023/A:1025645221773
Реферативные базы данных:
УДК: 510.52
Образец цитирования: М. А. Всемирнов, Э. А. Гирш, Е. Я. Данцин, С. В. Иванов, “Алгоритмы для пропозициональной выполнимости и верхние оценки их сложности”, Теория сложности вычислений. VI, Зап. научн. сем. ПОМИ, 277, ПОМИ, СПб., 2001, 14–46; J. Math. Sci. (N. Y.), 118:2 (2003), 4948–4962
Цитирование в формате AMSBIB
\RBibitem{VseHirDan01}
\by М.~А.~Всемирнов, Э.~А.~Гирш, Е.~Я.~Данцин, С.~В.~Иванов
\paper Алгоритмы для пропозициональной выполнимости и верхние оценки их сложности
\inbook Теория сложности вычислений.~VI
\serial Зап. научн. сем. ПОМИ
\yr 2001
\vol 277
\pages 14--46
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl1427}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1865895}
\zmath{https://zbmath.org/?q=an:1074.68577}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2003
\vol 118
\issue 2
\pages 4948--4962
\crossref{https://doi.org/10.1023/A:1025645221773}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl1427
  • https://www.mathnet.ru/rus/znsl/v277/p14
    • Эта публикация цитируется в следующих 12 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
    Статистика просмотров:
    Страница аннотации:592
    PDF полного текста:307
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024