1. Chen, H.: The Computational Complexity of Quantified Constraint Satisfaction. Ph.D. thesis, Cornell, August 2004
2. Junker, U.: Quickxplain: preferred explanations and relaxations for over-constrained problems. In: Proceedings of AAAI 2004, pp. 167–172 (2004)
3. Verger, G., Bessière, C.: : A bottom-up approach for solving quantified csps. In: Proceedings of CP, pp. 635–649 (2006)
4. Gent, I.P., Nightingale, P., Stergiou, K.: QCSP-solve: a solver for quantified constraint satisfaction problems. In: Proceedings of IJCAI, pp. 138–143 (2005)
5. Mehta, D., O’Sullivan, B., Quesada, L.: Preferred explanations for quantified constraint satisfaction problems. In: 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, Arras, France, 27–29 October 2010, vol. 1, pp. 275–278. IEEE Computer Society (2010)