A Parallel Solving Algorithm for Quantified Constraints Problems. - Vautard, Jérémie; Lallouet, Arnaud; Hamadi, Youssef (2010)