ИНФОРМАТИКА

Программирование ограничений

Ю. М. Бишенов, Т. Х. Иванов

Институт информатики и проблем регионального управления КБНЦ РАН, г. Нальчик

Аннотация: В работе обсуждаются методы и алгоритмы для решения комбинаторно поставленных задач в рамках определенной точки зрения. Предлагается новый метод 3 бинаризации, который использует частичное решение (k-местное отношение) для ускорения продвижения к решению основной задачи. Эта идея очень естественно выражается в логическом языке.

Ключевые слова: Программирование ограничений, комбинаторные задачи, искусственный интеллект, логический язык, поиск

УДК: 519.717