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

Микросервис-ориентированный параллельный решатель проверки выполнимости булевых ограничений MSCSAT

Авторы: Пашинин А.А., Богданова В.Г.

Журнал:

Том:

Номер: 2022669091

Год: 2022

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

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

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

URL:

Проекты:

Технологии разработки и анализа предметно-ориентированных интеллектуальных систем группового управления в недетерминированных распределенных средах

DOI:

Аннотация:

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

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

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

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

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

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

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