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

Сервис-ориентированные инструментальные средства для решения задач на графах с использованием SAT-подхода

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

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

Авторы: Чаплыгин И.С., Пашинин А.А., Куровский А.В.

Журнал: Тез. докл. IV Всерос. конф. “Матем. моделирование и вычисл.-информ. технологии в междисциплинарных научных исследованиях” (Иркутск, 30 июня – 4 июля 2014 г.)

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

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

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

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

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

Издательство: РИО ИДСТУ СО РАН

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

Адрес издателя: Иркутск

Название издательства: РИО ИДСТУ СО РАН

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

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

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

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

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

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