Using Stochastic Local Search to Solve Quantified Boolean Formulae.

Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth

Browse the full CP paper archive.