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

РЕБУС – интеллектуальный решатель комбинаторных задач в булевых ограничениях

Тип публикации: Статья в журнале

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

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

Журнал: Вестник Новосибиского гос. ун-та. Сер. Информ. технологии

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

Том: 6

Номера страниц: 60–68

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

Номер: 1

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

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

Аннотация: В статье рассматриваются архитектура, функциональные возможности и технология применения инструментального комплекса РЕБУС, ориентированного на использование в фундаментальных и прикладных исследованиях при решении задач в разнообразных областях знаний, где естественным образом возникают дискретные модели в виде систем булевых уравнений (ограничений). Методы и средства автоматизации представления, накопления, модификации и использования знаний при решении задач удовлетворения булевых ограничений составляют основу организации решателя РЕБУС.

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

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

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

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

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

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