Программная библиотека алгоритмов удовлетворения табличных ограничений, представленных в виде С- и D-систем
задача удовлетворения ограничений методы удовлетворения ограничений алгоритмы интеллектуального поиска
Библиотека ориентирована на использование в рамках современных сред программирования в ограничениях и дополняет их возможности. Библиотека позволяет “сжато” представлять качественные ограничения в табличной форме (в виде C- и D-систем) и реализует авторские методы распространения ограничений, оригинальные эвристики для организации поиска. В результате, ускоряется процесс решения задач удовлетворения ограничений, содержащих качественные зависимости
Разработка в рамках алгебраического подхода  процедур логического анализа и интеллектуального поиска
Максим
Шишаев
Геннадьевич
г.н.с.
Доктор технических наук
Доцент
G-1757-2017
55351604300
6119-9690
https://www.iimm.ru/shishaev-maksim-gennadevich/
https://orcid.org/0000-0001-7070-7878
РОССИЯ
Андрей
Олейник
Григорьевич
директор
РОССИЯ
50.41.25
Прикладное программное обеспечение
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Александр
Зуенко
Анатольевич
Проектирование архитектуры программы,  написание и отладка программного кода  методов редукции  задач удовлетворения табличных ограничений, представленных в виде С- и D-систем.
РОССИЯ
Юрий
Олейник
Андреевич
Написание и отладка программного кода  методов интеллектуального поиска решения  задач удовлетворения табличных ограничений, представленных в виде С- и D-систем.
РОССИЯ
ИИММ КНЦ РАН
Институт информатики и математического моделирования - обособленное подразделение Федерального государственного бюджетного учреждения науки Федерального исследовательского центра «Кольский научный центр Российской академии наук»
1025100510753
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения