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

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

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

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

Том: 6

Номер: 1

Год: 2008

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

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

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

URL:

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

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

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

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

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

Добавил в систему: