The Achille's heel of QBF, Proceedings AAAI'05, 2005. ,
QCSP made practical by virtue of restricted quantification, Proceedings of IJCAI'07, pp.38-43, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00144921
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
Beyond NP: Arc-consistency for quantified constraints, Proceedings CP'02, pp.371-386, 2002. ,
, Java constraint library
Dual viewpoint heuristics for binary constraint satisfaction problems, Proceedings ECAI'92, pp.31-35, 1992. ,
Solving quantified constraint satisfaction problems, Artif. Intell, vol.172, issue.6-7, pp.738-771, 2008. ,
Algorithms for quantified constraint satisfaction problems, Proceedings CP'04, pp.752-756, 2004. ,