TY  - RPRT
TI  - The complexity of quantified constraints using the algebraic formulation
AU  - Catarina Carvalho
AU  - Barnaby Martin
AU  - Dmitriy Zhuk
PY  - 2017
UR  - https://arxiv.org/abs/1701.04086
ID  - 1701.04086
ER  -