Вывод на ограничениях с применением матричного представления конечных предикатов

В работе предлагаются методы распространения ограничений и эвристического поиска, направленные на решение задач удовлетворения ограничений, где переменные определены на конечных доменах. Разработанные методы используют матричное представление конечных предикатов, что позволяет обойтись без преобразования ограничений в совокупность бинарных отношений и дает возможность эффективно редуцировать пространство поиска.