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

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

Тип публикации: Материал конференции

Тип материала: Текст

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

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

Язык публикации: russian

Номера страниц: 64-72

Количество страниц: 9

Год публикации: 2016

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

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

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

Адрес издателя: Москва

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

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

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

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

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

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

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

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