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

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

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


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




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

Записки научных семинаров ПОМИ, 2002, том 293, страницы 139–148 (Mi znsl1680)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Трудные выполнимые формулы для DPLL-подобных алгоритмов

С. И. Николенко

Санкт-Петербургский государственный университет
PDF полного текста (209 kB) Список цитирования (3)
Аннотация: Данная статья касается нижних оценок времени работы алгоритмов, решающих задачу пропозициональной выполнимости. Рассмотрены два DPLL-подобных алгоритма, использующих эвристики выбора единичного клоза и чистого литерала. Доказаны экспоненциальные нижние оценки на время работы этих алгоритмов на заведомо выполнимых формулах. Библ. – 11 назв.
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2005, Volume 126, Issue 3, Pages 1205–1209
DOI: https://doi.org/10.1007/s10958-005-0105-3
Реферативные базы данных:
УДК: 510.52+510.633
Образец цитирования: С. И. Николенко, “Трудные выполнимые формулы для DPLL-подобных алгоритмов”, Теория сложности вычислений. VII, Зап. научн. сем. ПОМИ, 293, ПОМИ, СПб., 2002, 139–148; J. Math. Sci. (N. Y.), 126:3 (2005), 1205–1209
Цитирование в формате AMSBIB
\RBibitem{Nik02}
\by С.~И.~Николенко
\paper Трудные выполнимые формулы для DPLL-подобных алгоритмов
\inbook Теория сложности вычислений.~VII
\serial Зап. научн. сем. ПОМИ
\yr 2002
\vol 293
\pages 139--148
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl1680}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1948829}
\zmath{https://zbmath.org/?q=an:1101.68600}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2005
\vol 126
\issue 3
\pages 1205--1209
\crossref{https://doi.org/10.1007/s10958-005-0105-3}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl1680
  • https://www.mathnet.ru/rus/znsl/v293/p139
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
    Статистика просмотров:
    Страница аннотации:313
    PDF полного текста:220
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024