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

Ian P. Gent, Peter Nightingale, Kostas Stergiou

Browse the full IJCAI paper archive.