1. Bessière, C., Régin, J.C.: Refining the basic constraint propagation algorithm. In: Proceedings of IJCAI 2001, pp. 309–315 (2001)
2. Boerner, F., Bulatov, A., Jeavons, P., Krokhin, A.: Quantified constraints: algorithms and complexity. In: Proceedings of CSL 2003, pp. 244–258 (2003)
3. Lecture Notes in Computer Science;L. Bordeaux,2002
4. Freuder, E.: Eliminating interchangeable values in constraint satisfaction problems. In: Proceedings of AAAI 1991, pp. 227–233 (1991)
5. Gent, I., Nightingale, P., Rowley, A.: Encoding quantified csps as quantified boolean formulae. In: Proceedings of ECAI 2004 (2004)