Ideal Membership and Constraint Satisfaction Problems
We describe the application of the ideal membership problem (IMP) and Gröbner bases to the problem of deciding constraint satisfaction problems (CSPs).
gröbner-bases
We describe the application of the ideal membership problem (IMP) and Gröbner bases to the problem of deciding constraint satisfaction problems (CSPs).