"QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems."

Ian P. Gent, Peter Nightingale, Kostas Stergiou (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics