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

Monaldo Mastrolilli

Published in: SODA (2019)

Keyphrases

constrained problems
constraint propagation
optimization problems
constraint satisfaction
computational complexity
boolean functions
worst case
domain specific
highly constrained
logic programs
visual features
temporal reasoning