Encoding Quantified CSPs as Quantified Boolean Formulae.

Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley

Browse the full ECAI paper archive.