Solving quantified constraint satisfaction problems

Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley, Kostas Stergiou. Solving quantified constraint satisfaction problems. Artificial Intelligence, 172(6-7):738-771, 2008. [doi]

Abstract

Abstract is missing.