TY - RPRT TI - Meditations on Quantified Constraint Satisfaction AU - Hubie Chen PY - 2012 UR - https://arxiv.org/abs/1201.6306 ID - 1201.6306 ER -