Using Stochastic Local Search to Solve Quantified Boolean Formulae

Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth. Using Stochastic Local Search to Solve Quantified Boolean Formulae. In Francesca Rossi, editor, Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings. Volume 2833 of Lecture Notes in Computer Science, pages 348-362, Springer, 2003. [doi]

Abstract

Abstract is missing.