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).
algebraic-geometry
We describe the application of the ideal membership problem (IMP) and Gröbner bases to the problem of deciding constraint satisfaction problems (CSPs).