Үүнийг мессежээр илгээх: Representing and Solving Finite−Domain Constraint Problems Using Systems of Polynomials