IP-адрес компьютера:
194.58.32.43
 Название организации:
Саратовский национальный исследовательский государственный университет им. Н.Г. Чернышевского
 Имя пользователя
 или адрес эл. почты:
 Пароль:
Вход
Запомнить меня
Правила доступа
Регистрация
Забыли пароль?
Вход через Вашу организацию
По всем вопросам, связанным с работой в системе Science Index, обращайтесь, пожалуйста, в службу поддержки:

+7 (495) 544-2494
support@elibrary.ru
ИНФОРМАЦИЯ О ПУБЛИКАЦИИ
eLIBRARY ID: 26437503 EDN: WGNVIJ

SYMPY-READY ALGORITHM FOR SOLVING SAT PROBLEMS USING ALGEBRAIC APPROACH AND ZDDS

FOKIN P.V.1,
BLINKOV YU.A.1
1 Saratov State University, 410026, Astrakhanskaya street, 83
Тип: статья в сборнике трудов конференции Язык: английский Год издания: 2016
Страницы: 38
ИСТОЧНИК:
 
INTERNATIONAL CONFERENCE POLYNOMIAL COMPUTER ALGEBRA'2016
Russian Academy of Sciences, St.Petersburg Department of Steklov Mathematical Institute, Euler International Mathematical Institute. 2016
Издательство: ООО "Издательство ВВМ" (Санкт-Петербург)
КОНФЕРЕНЦИЯ:
 
INTERNATIONAL CONFERENCE POLYNOMIAL COMPUTER ALGEBRA'2016
St. Petersburg, 18–22 апреля 2016 года
БИБЛИОМЕТРИЧЕСКИЕ ПОКАЗАТЕЛИ:
 
  Входит в РИНЦ: да   Цитирований в РИНЦ: 0
  Входит в ядро РИНЦ: нет   Цитирований из ядра РИНЦ: 0
  Рецензии: нет данных
ТЕМАТИЧЕСКИЕ РУБРИКИ:
 
  Рубрика OECD: Mathematics
  Рубрика ASJC: нет
  Рубрика ГРНТИ: Математика / Теория чисел / Алгебраическая теория чисел (поля алгебраических чисел)
  Специальность ВАК: нет
АЛЬТМЕТРИКИ:
 
  Просмотров: 18 (5)   Загрузок: 3 (3)   Включено в подборки: 14
  Всего оценок: 0   Средняя оценка:    Всего отзывов: 0
ОБСУЖДЕНИЕ:
Добавить новый комментарий к этой публикации