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

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

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


ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти




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

Прикладная дискретная математика, 2011, приложение к № 4, страницы 68–69 (Mi pdm323)  
Вычислительные методы в дискретной математике

Применение SAT-подхода в решении комбинаторных задач

А. А. Семенов, И. В. Отпущенников, С. Е. Кочемазов

Лаборатория дискретного анализа и прикладной логики Института динамики систем и теории управления СО РАН, г. Иркутск
PDF полного текста (495 kB)
Список литературы:
PDF
HTML
Тип публикации: Статья
УДК: 519.7
Образец цитирования: А. А. Семенов, И. В. Отпущенников, С. Е. Кочемазов, “Применение SAT-подхода в решении комбинаторных задач”, ПДМ, 2011, приложение к № 4, 68–69
Цитирование в формате AMSBIB
\RBibitem{SemOtpKoc11}
\by А.~А.~Семенов, И.~В.~Отпущенников, С.~Е.~Кочемазов
\paper Применение SAT-подхода в~решении комбинаторных задач
\jour ПДМ
\yr 2011
\pages 68--69
\issueinfo приложение к № 4
\mathnet{http://mi.mathnet.ru/pdm323}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdm323
  • https://www.mathnet.ru/rus/pdm/y2011/i13/p68
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика
    Статистика просмотров:
    Страница аннотации:265
    PDF полного текста:170
    Список литературы:42
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024