Журнал ИМТ Цитируемая работаПубликацияДокумент

Сервис-ориентированные инструментальные средства для решения задач булевой выполнимости

http://libmeta.ru/resource/imt/cited_4085

Данные

sourceNote	Фундаментальные исследования. 2015. № 2-6. С. 1151-1156.
год	2015
language	ru
bibliographicCitation	Богданова В.Г., Горский С.А., Пашинин А.А. Сервис-ориентированные инструментальные средства для решения задач булевой выполнимости // Фундаментальные исследования. 2015. № 2-6. С. 1151-1156.

автор

Горский С.А. Богданова В.Г. Пашинин А.А.

Входящие связи

← цитирует · 2

ПРИМЕНЕНИЕ ИНСТРУМЕНТАЛЬНОГО КОМПЛЕКСА ORLANDO ДЛЯ РАЗРАБОТКИ ПАКЕТОВ РАСПРЕДЕЛ… СЕРВИС ДЛЯ РЕШЕНИЯ SAT ЗАДАЧ НА ОСНОВЕ ГИБРИДНОГО ПОДХОДА

← ссылается на · 2

ПРИМЕНЕНИЕ ИНСТРУМЕНТАЛЬНОГО КОМПЛЕКСА ORLANDO ДЛЯ РАЗРАБОТКИ ПАКЕТОВ РАСПРЕДЕЛ… СЕРВИС ДЛЯ РЕШЕНИЯ SAT ЗАДАЧ НА ОСНОВЕ ГИБРИДНОГО ПОДХОДА