The complexity of quantified constraints using the algebraic formulation

Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk

Let A be an idempotent algebra on a finite domain. We combine results of Chen, Zhuk and Carvalho et al. to argue that if A satisfies the polynomially generated powers property (PGP…