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
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. ,
Consistency for Quantified Constraint Satisfaction Problems, CPPod (2005) short version in Proceedings CP'05, pp.792-796 ,
DOI : 10.1007/11564751_66
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. ,
A Java library for constraint satisfaction problems, constraint programming and explanation-based constraint solving, 2005. ,
Encoding Connect-4 using quantified boolean formulae, Proc. 2nd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pp.78-93, 2003. ,
Stochastic constraint programming, Proceedings ECAI'02, pp.111-115, 2002. ,
The Achilles' heel of QBF, pp.275-281, 2005. ,