The Complexity of the Ideal Membership Problem for Constrained Problems Over the Boolean Domain

Monaldo Mastrolilli

Given an ideal $I$ and a polynomial $f$ the Ideal Membership Problem is to test if $f\in I$. This problem is a fundamental algorithmic problem with important applications and notor…