Carvalho, C., Martin, B., Zhuk, D., Larsen, K. G., Bodlaender, H. L., & Raskin, J.-F. (2017, December). The complexity of quantified constraints using the algebraic formulation. Presented at Mathematical Foundation of Computer Science, Aalborg, Denmark