Страница публикации
РЕБУС – интеллектуальный решатель комбинаторных задач в булевых ограничениях
Авторы: Опарин Г.А., Богданова В.Г.
Журнал: Вестник Новосибиского гос. ун-та. Сер. Информ. технологии
Том: 6
Номер: 1
Год: 2008
Отчётный год: 2008
Издательство:
Местоположение издательства:
URL:
Аннотация: В статье рассматриваются архитектура, функциональные возможности и технология применения инструментального комплекса РЕБУС, ориентированного на использование в фундаментальных и прикладных исследованиях при решении задач в разнообразных областях знаний, где естественным образом возникают дискретные модели в виде систем булевых уравнений (ограничений). Методы и средства автоматизации представления, накопления, модификации и использования знаний при решении задач удовлетворения булевых ограничений составляют основу организации решателя РЕБУС.
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: