On the Complexity of CSP-based Ideal Membership Problems.

Andrei A. Bulatov Akbar Rafiey

Published in: CoRR (2020)

Keyphrases

computational complexity
problems involving
decision problems
scheduling problem
lower bound
computational cost
difficult problems
decomposition methods
np hardness
computational issues
polynomial hierarchy
solving constraint satisfaction problems