Страница публикации

Инструментарий разработки сервисов для решения булевых уравнений

Авторы: Пашинин А.А., Колосов А.Д.

Журнал: Тр. Междунар. конф. "Информ. технологии в науке, образовании и управлении" IT+S&E`16 (Гурзуф, 1-15 октября 2016г.)

Том:

Номер:

Год: 2016

Отчётный год: 2016

Издательство: ИНИТ

Местоположение издательства: Москва

URL:

Проекты:

DOI:

Аннотация: Рассматриваются архитектура и функциональные возможности инструментальных средств автоматизации разработки сервис-ориентированного приложения для решения задачи удовлетворения булевых ограничений. Описывается пример разработки сервиса с помощью этого инструментария. Приводятся результаты вычислительных экспериментов при сравнении GPU-версий SAT-решателей.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет

Публикация в печати: 0