scient. |
задача удовлетворения ограничениям (Скворцов Е.С. Аммальгамы клонов. // Алгебра и логика, 44, №1 (2005), – с. 97-113. dimock); обобщённая выполнимость (Скворцов Е.С. Аммальгамы клонов. // Алгебра и логика, 44, №1 (2005), – с. 97-113. dimock); задача удовлетворения ограничений (представляет собой кортеж P=< X, D, C >, где X – множество переменных, D – множество областей значений переменных, C – множество ограничений; русс. перевод взят из научной статьи: Щербина О.А. Удовлетворение ограничений и программирование в ограничениях Alex_Odeychuk) |