A Parallel Solving Algorithm for Quantified Constraints Problems.

Jrmie Vautard, Arnaud Lallouet, Youssef Hamadi

Browse the full ICTAI paper archive.