L. Bordeaux and E. Montfroy, Beyond NP: Arc-Consistency for Quantified Constraints, Proceedings CP'02, pp.371-386, 2002.
DOI : 10.1007/3-540-46135-3_25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.3314

H. Fargier, J. L. Martin-clouiare, and J. Rellier, Uncertainty and flexibility in constraint satisfaction: a case study and an application to agricultural planning, Proceedings of the workshop on Constraint Satisfaction Issues Raised by Practical Applications, pp.21-29, 1994.

P. Nightingale, Consistency for Quantified Constraint Satisfaction Problems, CPPod (2005) short version in Proceedings CP'05, pp.792-796
DOI : 10.1007/11564751_66

M. Paulin, E. Bourreau, C. Dartnell, and S. Krut, Modélisation et planification d'actionsélémentairesactionsélémentaires robotiques par apprentissage de réseaux de contraintes, Proceedings JFPC'06, pp.405-414, 2006.

. Choco, A Java library for constraint satisfaction problems, constraint programming and explanation-based constraint solving, 2005.

I. Gent and A. Rowley, Encoding Connect-4 using quantified boolean formulae, Proc. 2nd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pp.78-93, 2003.

T. Walsh, Stochastic constraint programming, Proceedings ECAI'02, pp.111-115, 2002.

C. Ansotegui, C. Gomes, and B. Selman, The Achilles' heel of QBF, pp.275-281, 2005.