C. Ansótegui, C. Gomes, and B. Selman, The Achille's heel of QBF, Proceedings AAAI'05, 2005.

M. Benedetti, A. Lallouet, and J. Vautard, QCSP made practical by virtue of restricted quantification, Proceedings of IJCAI'07, pp.38-43, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00144921

C. Bessiere and G. Verger, Strategic constraint satisfaction problems, Proceedings CP'06 Workshop on Modelling and Reformulation, vol.29, p.17, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00134937

L. Bordeaux and E. Montfroy, Beyond NP: Arc-consistency for quantified constraints, Proceedings CP'02, pp.371-386, 2002.

. Choco, Java constraint library

P. A. Geelen, Dual viewpoint heuristics for binary constraint satisfaction problems, Proceedings ECAI'92, pp.31-35, 1992.

I. P. Gent, P. Nightingale, A. Rowley, and K. Stergiou, Solving quantified constraint satisfaction problems, Artif. Intell, vol.172, issue.6-7, pp.738-771, 2008.

N. Mamoulis and K. Stergiou, Algorithms for quantified constraint satisfaction problems, Proceedings CP'04, pp.752-756, 2004.