text: Более формально, задача удовлетворения ограничений (УО) представляет собой кортеж P =< X , D , C > {\displaystyle P=<X,D,C>} , где X {\displaystyle X} - множество переменных, D {\displaystyle D} - множество доменов значений переменных, C {\displaystyle C} - множество ограничений.