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

Monaldo Mastrolilli

Published in: ACM Trans. Algorithms (2021)

Keyphrases

constrained problems
constraint propagation
domain specific
boolean functions
highly constrained
real valued
space complexity
dynamic programming
decision problems